HelenOS sources

smp_init           44 kernel/generic/include/smp/smp.h extern void smp_init(void);
smp_init          232 kernel/generic/src/main/main.c 	smp_init();