HelenOS sources

cpu_list           42 kernel/arch/sparc64/include/arch/sun4v/ipi.h extern uint64_t ipi_brodcast_to(void (*)(void), uint16_t cpu_list[], uint64_t);
cpu_list           61 kernel/arch/sparc64/src/smp/sun4v/ipi.c uint64_t ipi_brodcast_to(void (*func)(void), uint16_t cpu_list[MAX_NUM_STRANDS],
cpu_list           69 kernel/arch/sparc64/src/smp/sun4v/ipi.c 		ipi_cpu_list[CPU->arch.id][i] = cpu_list[i];
cpu_list          129 kernel/generic/include/cpu.h extern void cpu_list(void);
cpu_list         1351 kernel/generic/src/console/cmd.c 	cpu_list();