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
69 machine_emergency_restart(); in emergency_restart()
772 void machine_emergency_restart(void) in machine_emergency_restart() function
689 machine_emergency_restart(); in gdb_cmd_reboot()