lasat_machine_restart   17 arch/mips/lasat/reset.c static void lasat_machine_restart(char *command);
lasat_machine_restart   45 arch/mips/lasat/reset.c 	_machine_restart = lasat_machine_restart;