machine_restart
void machine_restart(char *cmd);
machine_restart(NULL);
machine_restart(NULL);
machine_restart("AHB error"); /* Catastrophic failure */
machine_restart("AHB error"); /* Catastrophic failure */
_machine_restart = machine_restart;
void machine_restart(char *command) __noreturn;
machine_restart(NULL);
machine_restart(NULL);
machine_restart(NULL);
machine_restart(NULL);
machine_restart("TOC");
{ extern int machine_restart(char *); machine_restart(""); }
{ extern int machine_restart(char *); machine_restart(""); }
machine_restart(NULL);
.restart = machine_restart,
machine_restart(NULL);
machine_restart("charging");
machine_restart(NULL);
machine_restart(NULL);
extern void machine_restart(char *cmd);
machine_restart(cmd);