Searched refs:GUEST_CR4 (Results 1 – 2 of 2) sorted by relevance
262 GUEST_CR4 = 0x00006804, enumerator
659 GUEST_CR4,794 FIELD(GUEST_CR4, guest_cr4),3460 vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) | in enter_pmode()3541 vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME); in enter_rmode()3641 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()3830 vmcs_writel(GUEST_CR4, hw_cr4); in vmx_set_cr4()7938 unsigned long cr4 = vmcs_readl(GUEST_CR4); in dump_vmcs()10021 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()