dec_machine_restart   50 arch/mips/dec/setup.c extern void dec_machine_restart(char *command);
dec_machine_restart  163 arch/mips/dec/setup.c 	_machine_restart = dec_machine_restart;