ipi_broadcast 45 kernel/generic/include/smp/ipi.h #define ipi_broadcast(ipi) ipi_broadcast 50 kernel/generic/src/smp/ipi.c void ipi_broadcast(int ipi)