Symbol: IPI_INVLTLB
sys/i386/i386/mp_machdep.c
214
setidt(IPI_INVLTLB, IDTVEC(invltlb),
sys/i386/i386/mp_machdep.c
611
smp_targeted_tlb_shootdown(mask, IPI_INVLTLB, pmap, 0, 0, curcpu_cb);
sys/x86/xen/xen_apic.c
88
[IPI_TO_IDX(IPI_INVLTLB)] = { xen_invltlb, "itlb"},