Symbol: __invvpid
arch/x86/kvm/vmx/vmx_ops.h
331
__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);
arch/x86/kvm/vmx/vmx_ops.h
336
__invvpid(VMX_VPID_EXTENT_ALL_CONTEXT, 0, 0);
arch/x86/kvm/vmx/vmx_ops.h
353
__invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr);