Searched refs:ip32_machine_halt (Results 1 – 1 of 1) sorted by relevance
40 static void ip32_machine_halt(void) __attribute__((noreturn));49 static inline void ip32_machine_halt(void) in ip32_machine_halt() function192 _machine_halt = ip32_machine_halt; in ip32_reboot_setup()