msr_vpid_cap      509 arch/x86/kernel/cpu/intel.c 	u32 msr_vpid_cap, msr_ept_cap;
msr_vpid_cap      534 arch/x86/kernel/cpu/intel.c 			      msr_ept_cap, msr_vpid_cap);