ip32_machine_restart   68 arch/mips/sgi-ip32/ip32-reset.c static void ip32_machine_restart(char *cmd)
ip32_machine_restart  142 arch/mips/sgi-ip32/ip32-reset.c 	_machine_restart = ip32_machine_restart;