i386_fast_ipi    2143 arch/i386/i386/machdep.c 		i386_fast_ipi(p->p_cpu, LAPIC_IPI_AST);
i386_fast_ipi    2964 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLPG) != 0)
i386_fast_ipi    3003 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLRANGE) != 0)
i386_fast_ipi    3040 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)
i386_fast_ipi     140 arch/i386/include/intr.h int i386_fast_ipi(struct cpu_info *, int);