Searched refs:GUEST_CR4 (Results 1 – 6 of 6) sorted by relevance
58 guest_cr4 = vmreadz(GUEST_CR4); in l1_guest_code()60 vmwrite(GUEST_CR4, guest_cr4); in l1_guest_code()
255 GUEST_CR4 = 0x00006804, enumerator
408 case GUEST_CR4: in evmcs_vmread()850 case GUEST_CR4: in evmcs_vmwrite()
349 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()
2635 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & guest_owned_bits; in vmx_cache_reg()3110 vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) | in enter_pmode()3192 vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME); in enter_rmode()3595 vmcs_writel(GUEST_CR4, hw_cr4); in vmx_set_cr4()6495 cr4 = vmcs_readl(GUEST_CR4); in dump_vmcs()
3934 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()