HelenOS sources
ARCH_OP 149 kernel/generic/src/main/kinit.c ARCH_OP(post_smp_init);
ARCH_OP 214 kernel/generic/src/main/main.c ARCH_OP(pre_mm_init);
ARCH_OP 226 kernel/generic/src/main/main.c ARCH_OP(post_mm_init);
ARCH_OP 228 kernel/generic/src/main/main.c ARCH_OP(pre_smp_init);
ARCH_OP 242 kernel/generic/src/main/main.c ARCH_OP(post_cpu_init);
ARCH_OP 320 kernel/generic/src/main/main.c ARCH_OP(pre_mm_init);
ARCH_OP 324 kernel/generic/src/main/main.c ARCH_OP(post_mm_init);
ARCH_OP 328 kernel/generic/src/main/main.c ARCH_OP(post_cpu_init);
HelenOS homepage, sources at GitHub