Searched refs:enqueue_flag (Results 1 – 1 of 1) sorted by relevance
3000 int oldprio, queued, running, enqueue_flag = 0; in rt_mutex_setprio() local3051 enqueue_flag = ENQUEUE_REPLENISH; in rt_mutex_setprio()3059 enqueue_flag = ENQUEUE_HEAD; in rt_mutex_setprio()3074 enqueue_task(rq, p, enqueue_flag); in rt_mutex_setprio()