HelenOS sources

mmu_start          95 boot/arch/arm32/include/arch/mm.h extern void mmu_start(void);
mmu_start          86 boot/arch/arm32/src/main.c 	mmu_start();