Searched refs:CR4_READ_SHADOW (Results 1 – 2 of 2) sorted by relevance
249 CR4_READ_SHADOW = 0x00006006, enumerator
615 CR4_READ_SHADOW,730 FIELD(CR4_READ_SHADOW, cr4_read_shadow),3324 (vmcs_readl(CR4_READ_SHADOW) & X86_CR4_VME)); in enter_pmode()3687 vmcs_writel(CR4_READ_SHADOW, cr4); in vmx_set_cr4()5289 vmcs_writel(CR4_READ_SHADOW, orig_val); in handle_set_cr4()9357 vmcs_writel(CR4_READ_SHADOW, nested_read_cr4(vmcs12)); in prepare_vmcs02()9611 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()