Re: [PATCH v2] xen/arm: rename guest_cpuinfo in domain_cpuinfo

[Julien Grall <julien@xxxxxxx>]

Hi Bertrand,

On 12/06/2023 14:00, Bertrand Marquis wrote:
> Rename the guest_cpuinfo structure to domain_cpuinfo as it is not only
> used for guests but also for dom0 so domain is a more suitable name.
>
> While there also rename the create_guest_cpuinfo function to
> create_domain_cpuinfo to be coherent and fix comments accordingly.
>
> Signed-off-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

And committed.

Cheers,

--
Julien Grall