On Fri, Nov 12, 2021 at 10:47:59AM +0100, Jan Beulich wrote: > Merely setting bit 0 in the bitmap is insufficient, as then Dom0 will > still have DID 0 allocated to it, because of the zero-filling of > domid_map[]. Set slot 0 to DOMID_INVALID to keep DID 0 from getting > used.
Shouldn't the whole domid_map be initialized to DOMID_INVALID to prevent dom0 matching against any unused slot? Similarly cleanup_domid_map should set the slot to DOMID_INVALID. Thanks, Roger.
