Searched refs:kill_restart (Results 1 - 2 of 2) sorted by relevance

/linux-4.1.27/arch/cris/arch-v32/kernel/
H A Dkgdb.c422 static void kill_restart(void);
1505 kill_restart(); handle_exception()
1597 kill_restart(void) kill_restart() function
/linux-4.1.27/arch/cris/arch-v10/kernel/
H A Dkgdb.c730 kill_restart (void) kill_restart() function
897 kill_restart (); handle_exception()

Completed in 149 milliseconds