msim_cpu_halt 46 kernel/arch/mips32/src/mach/msim/msim.c static void msim_cpu_halt(void); msim_cpu_halt 55 kernel/arch/mips32/src/mach/msim/msim.c .machine_cpu_halt = msim_cpu_halt,