Searched refs:restart_delayed_tcbs (Results 1 – 2 of 2) sorted by relevance
2631 restart_delayed_tcbs(void) in restart_delayed_tcbs() function2677 if (!restart_delayed_tcbs()) in timer_sighandler()
6338 (timer_sighandler, restart_delayed_tcb, restart_delayed_tcbs): New