HelenOS sources

machine_cpu_halt   51 kernel/arch/arm32/include/arch/machine_func.h 	void (*machine_cpu_halt)(void);
machine_cpu_halt   74 kernel/arch/arm32/include/arch/machine_func.h extern void machine_cpu_halt(void);
machine_cpu_halt  147 kernel/arch/arm32/src/arm32.c 		machine_cpu_halt();
machine_cpu_halt   71 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_cpu_halt = bbxm_cpu_halt,
machine_cpu_halt   77 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_cpu_halt = bbone_cpu_halt,
machine_cpu_halt   83 kernel/arch/arm32/src/machine_func.c 	(machine_ops->machine_cpu_halt)();
machine_cpu_halt   49 kernel/arch/mips32/include/arch/machine_func.h 	void (*machine_cpu_halt)(void);
machine_cpu_halt   63 kernel/arch/mips32/include/arch/machine_func.h extern void machine_cpu_halt(void);
machine_cpu_halt   59 kernel/arch/mips32/src/mach/malta/malta.c 	.machine_cpu_halt = malta_cpu_halt,
machine_cpu_halt   55 kernel/arch/mips32/src/mach/msim/msim.c 	.machine_cpu_halt = msim_cpu_halt,
machine_cpu_halt   71 kernel/arch/mips32/src/machine_func.c 	(machine_ops->machine_cpu_halt)();