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

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/mips/sgi-ip32/
H A Dip32-reset.c40 static void ip32_machine_halt(void) __attribute__((noreturn));
49 static inline void ip32_machine_halt(void) function
191 _machine_halt = ip32_machine_halt;

Completed in 12 milliseconds