Searched refs:CR4_READ_SHADOW (Results 1 – 2 of 2) sorted by relevance
253 CR4_READ_SHADOW = 0x00006006, enumerator
670 CR4_READ_SHADOW,785 FIELD(CR4_READ_SHADOW, cr4_read_shadow),3461 (vmcs_readl(CR4_READ_SHADOW) & X86_CR4_VME)); in enter_pmode()3829 vmcs_writel(CR4_READ_SHADOW, cr4); in vmx_set_cr4()5433 vmcs_writel(CR4_READ_SHADOW, orig_val); in handle_set_cr4()7950 cr4, vmcs_readl(CR4_READ_SHADOW), vmcs_readl(CR4_GUEST_HOST_MASK)); in dump_vmcs()9769 vmcs_writel(CR4_READ_SHADOW, nested_read_cr4(vmcs12)); in prepare_vmcs02()10023 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()