CR4_READ_SHADOW  1304 arch/x86/kvm/vmx.c 			(vmcs_readl(CR4_READ_SHADOW) & X86_CR4_VME));
CR4_READ_SHADOW  1564 arch/x86/kvm/vmx.c 	vmcs_writel(CR4_READ_SHADOW, cr4);