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