Symbol: IPI_INVLRNG
sys/i386/i386/mp_machdep.c
218
setidt(IPI_INVLRNG, IDTVEC(invlrng),
sys/i386/i386/mp_machdep.c
631
smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, pmap, addr1, addr2,
sys/x86/xen/xen_apic.c
90
[IPI_TO_IDX(IPI_INVLRNG)] = { xen_invlrng, "irg" },