Searched refs:GUEST_CR4 (Results 1 – 2 of 2) sorted by relevance
258 GUEST_CR4 = 0x00006804, enumerator
604 GUEST_CR4,739 FIELD(GUEST_CR4, guest_cr4),3323 vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) | in enter_pmode()3404 vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME); in enter_rmode()3499 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()3688 vmcs_writel(GUEST_CR4, hw_cr4); in vmx_set_cr4()9609 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()