kernel_halt       296 drivers/rtc/rtc-jz4740.c 	kernel_halt();
kernel_halt        72 drivers/spi/spi-slave-system-control.c 		kernel_halt();
kernel_halt        71 include/linux/reboot.h extern void kernel_halt(void);
kernel_halt       656 kernel/power/hibernate.c 	kernel_halt();
kernel_halt       280 kernel/reboot.c EXPORT_SYMBOL_GPL(kernel_halt);
kernel_halt       359 kernel/reboot.c 		kernel_halt();