VMCS_GUEST_CR0
case VMCS_GUEST_CR0:
return (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))
vis->cr0 = vmcs_read(VMCS_GUEST_CR0);