HelenOS sources

ipi_brodcast_to    42 kernel/arch/sparc64/include/arch/sun4v/ipi.h extern uint64_t ipi_brodcast_to(void (*)(void), uint16_t cpu_list[], uint64_t);
ipi_brodcast_to    87 kernel/arch/sparc64/src/smp/sun4v/ipi.c 	return ipi_brodcast_to(func, ipi_cpu_list[CPU->arch.id], 1);
ipi_brodcast_to   121 kernel/arch/sparc64/src/smp/sun4v/ipi.c 	ipi_brodcast_to(func, ipi_cpu_list[CPU->arch.id], idx);