VMM_DESC_OFFSET
if (desc >= VMM_DESC_OFFSET &&
desc < VMM_DESC_OFFSET + ARRAY_SIZE(vmm_descmap))
return (vmm_descmap[desc - VMM_DESC_OFFSET]);
VMM_DESC_GDTR = VMM_DESC_OFFSET,