VMCS_GUEST_CR0
return (VMCS_GUEST_CR0);
const uint64_t old = vmcs_read(VMCS_GUEST_CR0);
vmcs_write(VMCS_GUEST_CR0, crval);
} else if (vmcs_read(VMCS_GUEST_CR0) & CR0_PE) {
if (!(vmcs_read(VMCS_GUEST_CR0) & CR0_PG))
case VMCS_GUEST_CR0:
case VMCS_GUEST_CR0: