SECONDARY_EXEC_ENABLE_VPID  265 arch/x86/kvm/vmx.c 		SECONDARY_EXEC_ENABLE_VPID);
SECONDARY_EXEC_ENABLE_VPID 1139 arch/x86/kvm/vmx.c 			SECONDARY_EXEC_ENABLE_VPID |
SECONDARY_EXEC_ENABLE_VPID 1929 arch/x86/kvm/vmx.c 			exec_control &= ~SECONDARY_EXEC_ENABLE_VPID;