machine_restart   505 arch/x86/kernel/reboot.c void machine_restart(char *cmd)
machine_restart   249 arch/x86/mach-voyager/voyager_basic.c void machine_restart(char *cmd)