Searched refs:CR4_READ_SHADOW (Results 1 – 2 of 2) sorted by relevance
198 CR4_READ_SHADOW = 0x00006006, enumerator
1703 (vmcs_readl(CR4_READ_SHADOW) & X86_CR4_VME)); in enter_pmode()2048 vmcs_writel(CR4_READ_SHADOW, cr4); in vmx_set_cr4()