native_machine_restart 26 arch/sh/kernel/reboot.c static void native_machine_restart(char * __unused) native_machine_restart 729 arch/x86/kernel/reboot.c static void native_machine_restart(char *__unused)