Symbol: IPI_INVLCACHE
sys/i386/i386/mp_machdep.c
222
setidt(IPI_INVLCACHE, IDTVEC(invlcache),
sys/i386/i386/mp_machdep.c
642
smp_targeted_tlb_shootdown(all_cpus, IPI_INVLCACHE, NULL, 0, 0,
sys/x86/xen/xen_apic.c
91
[IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },