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