ipi_broadcast_arch 41 kernel/generic/include/smp/ipi.h extern void ipi_broadcast_arch(int); ipi_broadcast_arch 59 kernel/generic/src/smp/ipi.c ipi_broadcast_arch(ipi);