Symbol: dec_machine_restart
arch/mips/dec/setup.c
147
_machine_restart = dec_machine_restart;
arch/mips/dec/setup.c
54
extern void dec_machine_restart(char *command);