Searched refs:restart_critical_section (Results 1 – 3 of 3) sorted by relevance
28 extern void restart_critical_section(TBIRES State);
81 restart_critical_section(State); in kick_handler()
464 void restart_critical_section(TBIRES State) in restart_critical_section() function