Hi Juergen, On 01/11/2022 15:28, Juergen Gross wrote:
There are some places left where dom0 is associated with domid 0.Use dom0_domid instead. Signed-off-by: Juergen Gross <jgr...@suse.com>
Reviewed-by: Julien Grall <jgr...@amazon.com> Cheers, -- Julien Grall