Searched refs:rt_mutex_schedule (Results 1 – 3 of 3) sorted by relevance
55 extern void rt_mutex_schedule(void);
1445 rt_mutex_schedule()
7238 void rt_mutex_schedule(void) in rt_mutex_schedule() function