Searched refs:kill_restart (Results 1 – 2 of 2) sorted by relevance
706 kill_restart (void) in kill_restart() function880 kill_restart (); in handle_exception()
414 static void kill_restart(void);1485 kill_restart(); in handle_exception()1577 kill_restart(void) in kill_restart() function