rt_mutex_setprio 1641 include/linux/sched.h extern void rt_mutex_setprio(struct task_struct *p, int prio); rt_mutex_setprio 125 kernel/rtmutex.c rt_mutex_setprio(task, prio);