Symbol: i386_fast_ipi
sys/arch/i386/i386/pmap.c
2734
if (i386_fast_ipi(ci, LAPIC_IPI_INVLPG) != 0)
sys/arch/i386/i386/pmap.c
2772
if (i386_fast_ipi(ci, LAPIC_IPI_INVLRANGE) != 0)
sys/arch/i386/i386/pmap.c
2807
if (i386_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)
sys/arch/i386/i386/pmap.c
2842
if (i386_fast_ipi(ci, LAPIC_IPI_RELOADCR3) != 0)
sys/arch/i386/include/intr.h
139
int i386_fast_ipi(struct cpu_info *, int);