VMM_REG_OFFSET
if (reg >= VMM_REG_OFFSET &&
reg < VMM_REG_OFFSET + ARRAY_SIZE(vmm_sys_regmap))
return (vmm_sys_regmap[reg - VMM_REG_OFFSET]);
VMM_REG_CR0 = VMM_REG_OFFSET,