rt_mutex_adjust_pi identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/sched/rt.h, line 66 (as a prototype)

Defined in 1 files as a macro:

include/linux/sched/rt.h, line 72 (as a macro)

Defined in 1 files as a function:

kernel/locking/rtmutex_api.c, line 502 (as a function)

Referenced in 1 files:

kernel/sched/syscalls.c, line 709

Smatch caller information:

kernel/sched/build_policy.c __sched_setscheduler() -> rt_mutex_adjust_pi()

Type	Parameter	Key	Value
PARAM_VALUE	0	task	4096-ptr_max
PARAM_VALUE	0	task->pi_lock.dep_map->name	0-255
PARAM_VALUE	0	task->pi_lock.owner	(-1)
PARAM_VALUE	0	task->pi_lock.owner_cpu	u32max
PARAM_VALUE	0	task->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	task->pushable_dl_tasks.rb_left	4096-ptr_max
PARAM_VALUE	0	task->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	task->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->sched_class	4096-ptr_max
PARAM_VALUE	0	task->sched_class->balance	0,4895810773273071616,6490409225490120704,7260575883162300416,8638459336928428032
PARAM_VALUE	0	task->sched_class->dequeue_task	0,144070366336110592,1947835499009560576,6189267449403002880,6455432424639717376,6899636822736904192
PARAM_VALUE	0	task->sched_class->enqueue_task	0,126196709549080576,1834828045319467008,6555940243012698112,7779016139136778240
PARAM_VALUE	0	task->sched_class->find_lock_rq	0,1273389266380275712,1330506845949976576,2186316422496772096,3746302679399247872,7992910395761221632
PARAM_VALUE	0	task->sched_class->get_prio	0,5165838827171962880,5589494719909007360,5857971317054578688,7142770315824652288
PARAM_VALUE	0	task->sched_class->get_rr_interval	0,160577115725877248,5264859755264851968,8566262156424376320
PARAM_VALUE	0	task->sched_class->migrate_task_rq	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->pick_task	0,431140902756892672,1158575681758597120,5720692379550740480,7102393387566546944,7546922302727954432,7601726578106748928
PARAM_VALUE	0	task->sched_class->prio_changed	0,1146300274019463168,2737281516638617600,4228469244769832960,5589494719909007360,6494577740674654208,7383617159121645568
PARAM_VALUE	0	task->sched_class->put_prev_task	0,879997059321819136,2104802920512651264,2702168970777976832,3309484659987406848,4521943768044347392,6061791611826737152
PARAM_VALUE	0	task->sched_class->reweight_task	0,1146300274019463168,2737281516638617600,4228469244769832960,5264859755264851968,6494577740674654208,7383617159121645568
PARAM_VALUE	0	task->sched_class->rq_offline	0,1273389266380275712,1603218695044562944,3746302679399247872,3838970304731508736,6105480162315575296,7992910395761221632
PARAM_VALUE	0	task->sched_class->rq_online	0,1603218695044562944,1927640468783054848,3838970304731508736,5094656021401329664,6105480162315575296,7127180339355369472
PARAM_VALUE	0	task->sched_class->select_task_rq	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->set_cpus_allowed	0,509,4096-ptr_max
PARAM_VALUE	0	task->sched_class->set_next_task	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->switched_from	0,2762873923526262784,6932178706407411712,8530452231382753280,8897597262779232256
PARAM_VALUE	0	task->sched_class->switched_to	0,1207858565835722752,5165838827171962880,5857971317054578688,6355784522873475072,7142770315824652288
PARAM_VALUE	0	task->sched_class->switching_from	0,2762873923526262784,6742757381008068608
PARAM_VALUE	0	task->sched_class->switching_to	0,1207858565835722752,6355784522873475072,6932178706407411712,8530452231382753280,8897597262779232256
PARAM_VALUE	0	task->sched_class->task_change_group	0,2420086066110373888,2446272091500916736,2561397482238263296,2943871782664327168,7251702690162270208,8139140255186919424
PARAM_VALUE	0	task->sched_class->task_dead	0,1181151505743122432,6092562452304658432,6742757381008068608
PARAM_VALUE	0	task->sched_class->task_fork	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->task_is_throttled	0,626302238049026048,4879098428662644736,6508522699847725056,7251702690162270208
PARAM_VALUE	0	task->sched_class->task_tick	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->task_woken	0,1111187247153754112,4090974917235912704,4284209241675612160,4715741308934107136
PARAM_VALUE	0	task->sched_class->uclamp_enabled	0-1
PARAM_VALUE	0	task->sched_class->update_curr	0,4096-ptr_max
PARAM_VALUE	0	task->sched_class->wakeup_preempt	0,1077039320164851712,1147033115188453376,2990157993661198336,6476960569952718848,6679893776262037504
PARAM_VALUE	0	task->sched_class->yield_task	0,2190573298372911104,3192817945493614592,3256919456170586112,7456815790656131072
PARAM_VALUE	0	task->sched_class->yield_to_task	0,3940359203731251200
PARAM_VALUE	0	task->sched_reset_on_fork	0-1
PARAM_VALUE	0	task->se.cfs_rq->h_curr	0
PARAM_VALUE	0	task->se.cfs_rq->removed.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	task->se.cfs_rq->rq->curr->mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	task->se.cfs_rq->rq->curr->pref_llc_queued	0-1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->__state	0,512
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->core_node.__rb_parent_color	1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->core_node.rb_left	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->core_node.rb_right	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->cpus_ptr	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->delays->blkio_delay_max	0-9223372036854775807
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->delays->blkio_delay_min	0-9223372036854775807
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->delays->lock.owner	(-1)
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->delays->lock.owner_cpu	u32max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->delays->lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->dl.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter	0-s32max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->mm->mm_cid.max_cids	0-s32max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->mm->mm_cid.pcpu_thrs	1-1073741823
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->mm->mm_cid.update_deferred	1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->on_rq	0-1,3-255
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_dl_tasks.rb_left	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.node_list.next->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.prio_list.next->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.prio_list.prev->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->rseq.event.ids_changed	1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->sched_migrated	1
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->sched_throttle_work.next	0-7661163036167163903,7661163036167163905-u64max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->se.avg.util_avg	0-u32max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->se.group_node.next->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->se.group_node.next->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->se.group_node.prev->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->se.group_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->throttle_node.next->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->throttle_node.next->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->throttle_node.prev->next	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->throttle_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->donor->wake_cpu	0-s32max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_bw	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_deadline	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_density	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_period	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_timer.base->active.rb_root.rb_leftmost->prev	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->softirq_expires_next	0-s64max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.dl_timer.base->index	0-7
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.base	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.node.expires	0-s64max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_bw	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_deadline	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_defer	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_defer_armed	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_defer_running	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_density	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_non_contending	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_overrun	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_period	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_runtime	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_server	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_throttled	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->dl_yielded	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->flags	0
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color	1
PARAM_VALUE	0	task->se.cfs_rq->tg->cfs_bandwidth.idle	0-1
PARAM_VALUE	0	task->se.cfs_rq->tg->cfs_bandwidth.period	0-1000000000
PARAM_VALUE	0	task->se.cfs_rq->tg->cfs_bandwidth.period_active	0-1
PARAM_VALUE	0	task->se.cfs_rq->tg->cfs_bandwidth.slack_started	0-1
PARAM_VALUE	0	task->se.cfs_rq->tg->rt_bandwidth.rt_period_active	0-1
PARAM_VALUE	0	task->se.cfs_rq->throttled_list.next	4096-ptr_max
PARAM_VALUE	0	task->se.run_node.rb_left->rb_right	0
PARAM_VALUE	0	task->se.run_node.rb_right->rb_left	0
BUF_SIZE	0	task->sched_class	(-1),248
CAPPED_DATA	0	task	1
DATA_SOURCE	0	task	$0
FUZZY_MAX	0	task->sched_reset_on_fork	1
NOSPEC	0	task->rt_priority
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	task->dl.dl_bw	0-18446744073707454464
USER_DATA	0	task->dl.dl_density	0-18446744073707454464
USER_DATA	0	task->dl.dl_period	0[c]
USER_DATA	0	task->dl.flags	0,2-268435462[c]
USER_DATA	0	task->normal_prio	0-98[c]
USER_DATA	0	task->prio	0-98[c]
USER_DATA	0	task->rt_priority	0-99[c]
USER_DATA	0	task->sched_reset_on_fork	0-1
USER_DATA	0	task->se.slice	100001-99999999
NO_OVERFLOW_SIMPLE	0	task->dl.dl_runtime
HALF_LOCKED2		global &cpuset_mutex
HALF_LOCKED2		global &tasklist_lock
HALF_LOCKED2		rcu_read