HelenOS sources

malta_cpu_halt     50 kernel/arch/mips32/src/mach/malta/malta.c static void malta_cpu_halt(void);
malta_cpu_halt     59 kernel/arch/mips32/src/mach/malta/malta.c 	.machine_cpu_halt = malta_cpu_halt,
HelenOS homepage, sources at GitHub