Re: [PATCH v2] xen/arm: Use register_t type of cpuinfo entries

[Julien Grall <julien@xxxxxxx>]

Hi Bertrand,

On 15/03/2021 10:38, Bertrand Marquis wrote:
> All cpu identification registers that we store in the cpuinfo structure
> are 64bit on arm64 and 32bit on arm32 so storing the values in 32bit on
> arm64 is removing the higher bits which might contain information in the
> future.
>
> This patch is changing the types in cpuinfo to register_t (which is
> 32bit on arm32 and 64bit on arm64) and adding the necessary paddings
> inside the unions.
> For consistency uint64_t entries are also changed to register_t on 64bit
> systems.
>
> It is also fixing all prints using directly the bits values from cpuinfo
> to use PRIregister and adapt the printed value to print all bits
> available on the architecture.
>
> Signed-off-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall