Symbol: IPI_INVLPG
sys/i386/i386/mp_machdep.c
216
setidt(IPI_INVLPG, IDTVEC(invlpg),
sys/i386/i386/mp_machdep.c
621
smp_targeted_tlb_shootdown(mask, IPI_INVLPG, pmap, addr, 0, curcpu_cb);
sys/x86/xen/xen_apic.c
89
[IPI_TO_IDX(IPI_INVLPG)] = { xen_invlpg, "ipg" },