Symbol: i386_broadcast_ipi
sys/arch/i386/i386/acpi_machdep.c
453
i386_broadcast_ipi(I386_IPI_HALT);
sys/arch/i386/i386/cpu.c
929
i386_broadcast_ipi(I386_IPI_WBINVD);
sys/arch/i386/i386/i686_mem.c
280
i386_broadcast_ipi(I386_IPI_MTRR);
sys/arch/i386/i386/machdep.c
2671
i386_broadcast_ipi(I386_IPI_HALT);
sys/arch/i386/i386/mp_setperf.c
43
i386_broadcast_ipi(I386_IPI_SETPERF);
sys/arch/i386/include/intr.h
140
void i386_broadcast_ipi(int);