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