rt_mutex_pre_schedule
extern void rt_mutex_pre_schedule(void);
rt_mutex_pre_schedule();
rt_mutex_pre_schedule()