Searched refs:critical_section_deinit (Results 1 – 3 of 3) sorted by relevance
22 void critical_section_deinit(critical_section_t *crit_sec) { in critical_section_deinit() function
83 void critical_section_deinit(critical_section_t *crit_sec);
271 critical_section_deinit(&one_shot_timer_crit_sec); in stdio_usb_deinit()
