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)