kernel_halt        64 include/linux/reboot.h extern void kernel_halt(void);
kernel_halt       483 kernel/power/disk.c 	kernel_halt();
kernel_halt       387 kernel/sys.c   		kernel_halt();