Symbol: ip32_machine_restart
arch/mips/sgi-ip32/ip32-reset.c
145
_machine_restart = ip32_machine_restart;
arch/mips/sgi-ip32/ip32-reset.c
71
static void ip32_machine_restart(char *cmd)