Searched refs:machine_emergency_restart (Results 1 – 5 of 5) sorted by relevance
5 extern void machine_emergency_restart(void);
5 static inline void machine_emergency_restart(void) in machine_emergency_restart() function
64 machine_emergency_restart(); in emergency_restart()
751 void machine_emergency_restart(void) in machine_emergency_restart() function
689 machine_emergency_restart(); in gdb_cmd_reboot()
