__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);