raspberrypi_cpu_halt 60 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_cpu_halt(void); raspberrypi_cpu_halt 78 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_cpu_halt,HelenOS homepage, sources at GitHub