machine_halt       51 include/linux/reboot.h extern void machine_halt(void);
machine_halt      321 kernel/sys.c   	machine_halt();