Searched refs:do_machine_restart (Results 1 – 1 of 1) sorted by relevance
1791 static void do_machine_restart(char *__unused) in do_machine_restart() function1797 void (*_machine_restart)(char *command) = do_machine_restart;