HelenOS sources

ARCH_OP           147 kernel/generic/src/main/kinit.c 	ARCH_OP(post_smp_init);
ARCH_OP           216 kernel/generic/src/main/main.c 	ARCH_OP(pre_mm_init);
ARCH_OP           228 kernel/generic/src/main/main.c 	ARCH_OP(post_mm_init);
ARCH_OP           230 kernel/generic/src/main/main.c 	ARCH_OP(pre_smp_init);
ARCH_OP           244 kernel/generic/src/main/main.c 	ARCH_OP(post_cpu_init);
ARCH_OP           324 kernel/generic/src/main/main.c 	ARCH_OP(pre_mm_init);
ARCH_OP           328 kernel/generic/src/main/main.c 	ARCH_OP(post_mm_init);
ARCH_OP           332 kernel/generic/src/main/main.c 	ARCH_OP(post_cpu_init);