GUEST_CR4
EVMCS1_FIELD(GUEST_CR4, guest_cr4,
/*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) |
FIELD(GUEST_CR4, guest_cr4),
SHADOW_FIELD_RW(GUEST_CR4, guest_cr4)
vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & guest_owned_bits;
vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) |
vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME);
vmcs_writel(GUEST_CR4, hw_cr4);
cr4 = vmcs_readl(GUEST_CR4);
case GUEST_CR4:
case GUEST_CR4:
vmwrite(GUEST_CR4, vmreadz(HOST_CR4));
guest_cr4 = vmreadz(GUEST_CR4);
vmwrite(GUEST_CR4, guest_cr4);