Searched refs:GUEST_CR4 (Results 1 – 2 of 2) sorted by relevance
207 GUEST_CR4 = 0x00006804, enumerator
1702 vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) | in enter_pmode()1794 vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME); in enter_rmode()1905 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()2049 vmcs_writel(GUEST_CR4, hw_cr4); in vmx_set_cr4()