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 <[email protected]>
Acked-by: Julien Grall <[email protected]> And committed. Cheers, -- Julien Grall
