HelenOS sources

bbxm_cpu_halt      50 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_cpu_halt(void);
bbxm_cpu_halt      71 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_cpu_halt = bbxm_cpu_halt,