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 <[email protected]>
Reviewed-by: Julien Grall <[email protected]>
Cheers,
--
Julien Grall
