Re: [XEN PATCH v3 2/6] xen/arm: change parameter name 'vcpu' in domain() function definition.

[Julien Grall <julien@xxxxxxx>]

Hi,

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

Cheers,

--
Julien Grall