__invvpid        5013 arch/x86/kvm/vmx/nested.c 			__invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR,
__invvpid         277 arch/x86/kvm/vmx/ops.h 		__invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr);
__invvpid         290 arch/x86/kvm/vmx/ops.h 		__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);
__invvpid         296 arch/x86/kvm/vmx/ops.h 		__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);