HelenOS sources

ipi_broadcast_arch   39 kernel/arch/abs32le/src/smp/ipi.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   40 kernel/arch/amd64/src/smp/ipi.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   44 kernel/arch/arm64/src/smp/ipi.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   40 kernel/arch/ia32/src/smp/ipi.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   40 kernel/arch/ia64/src/smp/smp.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   47 kernel/arch/mips32/src/mach/msim/dorder.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch  145 kernel/arch/sparc64/src/smp/sun4u/ipi.c void ipi_broadcast_arch(int ipi)
ipi_broadcast_arch   97 kernel/arch/sparc64/src/smp/sun4v/ipi.c void ipi_broadcast_arch(int ipi)