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

Reply via email to