Symbol: sni_machine_restart
arch/mips/sni/setup.c
229
_machine_restart = sni_machine_restart;
arch/mips/sni/setup.c
36
extern void sni_machine_restart(char *command);