Searched refs:ip32_machine_restart (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/mips/sgi-ip32/
H A Dip32-reset.c39 static void ip32_machine_restart(char *command) __attribute__((noreturn));
43 static void ip32_machine_restart(char *cmd) function
113 ip32_machine_restart(NULL);
190 _machine_restart = ip32_machine_restart;

Completed in 35 milliseconds