Searched refs:GUEST_CR4 (Results 1 – 2 of 2) sorted by relevance
211 GUEST_CR4 = 0x00006804, enumerator
538 FIELD(GUEST_CR4, guest_cr4),2684 vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) | in enter_pmode()2782 vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME); in enter_rmode()2895 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()3053 vmcs_writel(GUEST_CR4, hw_cr4); in vmx_set_cr4()6843 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) |