Searched refs:kill_restart (Results 1 – 1 of 1) sorted by relevance
366 static void kill_restart (void);1195 kill_restart (); in handle_exception()1340 kill_restart () in kill_restart() function