Re: [XEN PATCH v3 4/6] xen/arm: vgic: change parameter name in 'init' and 'free' functions.

[Julien Grall <julien@xxxxxxx>]

Hi,

On 26/06/2023 10:52, Federico Serafini wrote:
> In the current versions of vcpu_vgic_init() and vcpu_vgic_free(),
> the declarations (correctly) use the parameter name 'v' while the
> corresponding definitions use the parameter name 'vcpu'.
> Since it is common to use 'v' to denote a vCPU, change the parameter
> name 'vcpu' of function definitions to 'v', thus fixing violations of
> MISRA C:2012 Rule 8.3.
>
> Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx>
Reviewed-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall