Searched refs:rt_mutex_schedule (Results 1 – 4 of 4) sorted by relevance
55 extern void rt_mutex_schedule(void);
1647 rt_mutex_schedule(); in rt_mutex_slowlock_block()1678 rt_mutex_schedule(); in rt_mutex_handle_deadlock()
1432 rt_mutex_schedule()
7138 void rt_mutex_schedule(void) in rt_mutex_schedule() function