Searched refs:kill_restart (Results 1 – 2 of 2) sorted by relevance
730 kill_restart (void) in kill_restart() function897 kill_restart (); in handle_exception()
422 static void kill_restart(void);1505 kill_restart(); in handle_exception()1597 kill_restart(void) in kill_restart() function