jazz_machine_restart   29 arch/mips/jazz/setup.c extern void jazz_machine_restart(char *command);
jazz_machine_restart   77 arch/mips/jazz/setup.c 	_machine_restart = jazz_machine_restart;