Searched refs:enqueue_flag (Results 1 – 1 of 1) sorted by relevance
3368 int oldprio, queued, running, enqueue_flag = ENQUEUE_RESTORE; in rt_mutex_setprio() local3418 enqueue_flag |= ENQUEUE_REPLENISH; in rt_mutex_setprio()3426 enqueue_flag |= ENQUEUE_HEAD; in rt_mutex_setprio()3441 enqueue_task(rq, p, enqueue_flag); in rt_mutex_setprio()