msr_ept_cap       509 arch/x86/kernel/cpu/intel.c 	u32 msr_vpid_cap, msr_ept_cap;
msr_ept_cap       534 arch/x86/kernel/cpu/intel.c 			      msr_ept_cap, msr_vpid_cap);
msr_ept_cap       535 arch/x86/kernel/cpu/intel.c 			if (msr_ept_cap & x86_VMX_FEATURE_EPT_CAP_AD)