proxy_release_rq_lock identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

kernel/sched/core.c, line 6778 (as a function)

Referenced in 1 files:

kernel/sched/core.c, line 6842

Smatch caller information:

kernel/sched/core.c proxy_migrate_task() -> proxy_release_rq_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	rq	4096-ptr_max
PARAM_VALUE	0	rq->__lock.dep_map->name	0-255
PARAM_VALUE	0	rq->__lock.owner_cpu	0
PARAM_VALUE	0	rq->__lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	rq->avg_dl.util_avg	0-u32max
PARAM_VALUE	0	rq->avg_rt.util_avg	0-u32max
PARAM_VALUE	0	rq->balance_callback->next	0-8420675918325051391,8420675918325051393-u64max
PARAM_VALUE	0	rq->cfs.curr	0
PARAM_VALUE	0	rq->cfs.curr->on_rq	1-255
PARAM_VALUE	0	rq->cfs.next	0
PARAM_VALUE	0	rq->cfs.tasks_timeline.rb_leftmost	0,4096-ptr_max
PARAM_VALUE	0	rq->clock_update_flags	0,4-u32max
PARAM_VALUE	0	rq->core_tree.rb_node	4096-ptr_max
PARAM_VALUE	0	rq->curr->delays->lock.dep_map->name	0-255
PARAM_VALUE	0	rq->curr->mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	rq->curr->pref_llc_queued	0-1
PARAM_VALUE	0	rq->dl.curr	0
PARAM_VALUE	0	rq->dl_server	0
PARAM_VALUE	0	rq->donor	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.dl_bw	0
PARAM_VALUE	0	rq->donor->dl.dl_deadline	0
PARAM_VALUE	0	rq->donor->dl.dl_density	0
PARAM_VALUE	0	rq->donor->dl.dl_period	0
PARAM_VALUE	0	rq->donor->dl.dl_timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color	1
PARAM_VALUE	0	rq->donor->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	rq->donor->dl.dl_timer.base->cpu_base->softirq_expires_next	0-s64max
PARAM_VALUE	0	rq->donor->dl.dl_timer.base->index	0-7
PARAM_VALUE	0	rq->donor->dl.inactive_timer.base	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.inactive_timer.node.expires	0-s64max
PARAM_VALUE	0	rq->donor->dl.inactive_timer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	rq->donor->dl.inactive_timer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.inactive_timer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.pi_se	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.rb_node.__rb_parent_color	1
PARAM_VALUE	0	rq->donor->dl.rb_node.rb_left	4096-ptr_max
PARAM_VALUE	0	rq->donor->dl.rb_node.rb_right	0,4096-ptr_max
PARAM_VALUE	0	rq->donor->dl_server	0
PARAM_VALUE	0	rq->donor->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	rq->donor->pushable_dl_tasks.rb_left	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_dl_tasks.rb_right	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.node_list.next->prev	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.prio_list.next->next	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.prio_list.prev->next	4096-ptr_max
PARAM_VALUE	0	rq->donor->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->propagate	1
PARAM_VALUE	0	rq->donor->se.cfs_rq->removed.lock.dep_map->name	0-255
PARAM_VALUE	0	rq->donor->se.cfs_rq->removed.lock.owner	(-1)
PARAM_VALUE	0	rq->donor->se.cfs_rq->removed.lock.owner_cpu	u32max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->curr->mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->curr->pref_llc_queued	0-1
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.dl_timer.base->index	0-7
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.inactive_timer.base	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.inactive_timer.node.expires	0-s64max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.pi_se	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	rq->donor->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color	1
PARAM_VALUE	0	rq->donor->se.cfs_rq->tg->cfs_bandwidth.idle	0-1
PARAM_VALUE	0	rq->donor->se.cfs_rq->tg->cfs_bandwidth.period	0-1000000000
PARAM_VALUE	0	rq->donor->se.cfs_rq->tg->cfs_bandwidth.period_active	0-1
PARAM_VALUE	0	rq->donor->se.cfs_rq->tg->cfs_bandwidth.slack_started	0-1
PARAM_VALUE	0	rq->donor->se.cfs_rq->tg->rt_bandwidth.rt_period_active	0-1
PARAM_VALUE	0	rq->donor->se.cfs_rq->throttled_list.next	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.dl_bw	0
PARAM_VALUE	0	rq->fair_server.dl_deadline	0
PARAM_VALUE	0	rq->fair_server.dl_density	0
PARAM_VALUE	0	rq->fair_server.dl_period	0
PARAM_VALUE	0	rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	rq->fair_server.dl_timer.base->cpu_base->softirq_expires_next	0-s64max
PARAM_VALUE	0	rq->fair_server.dl_timer.base->index	0-7
PARAM_VALUE	0	rq->fair_server.inactive_timer.base	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	rq->fair_server.inactive_timer.node.expires	0-s64max
PARAM_VALUE	0	rq->fair_server.inactive_timer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	rq->fair_server.inactive_timer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.inactive_timer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.pi_se	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.pi_se->dl_bw	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_deadline	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_defer	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_defer_armed	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_defer_running	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_density	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_overrun	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_period	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_runtime	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_server	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_throttled	0
PARAM_VALUE	0	rq->fair_server.pi_se->dl_yielded	0
PARAM_VALUE	0	rq->fair_server.pi_se->flags	0
PARAM_VALUE	0	rq->fair_server.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	rq->fair_server.rb_node.__rb_parent_color	1
PARAM_VALUE	0	rq->fair_server.rb_node.rb_left	0,4096-ptr_max
PARAM_VALUE	0	rq->fair_server.rb_node.rb_right	0,4096-ptr_max
PARAM_VALUE	0	rq->fair_server.rq->rt.rt_runtime_lock.dep_map->name	0-255
PARAM_VALUE	0	rq->fair_server.rq->rt.rt_runtime_lock.owner	(-1)
PARAM_VALUE	0	rq->fair_server.rq->rt.rt_runtime_lock.owner_cpu	u32max
PARAM_VALUE	0	rq->fair_server.rq->rt.rt_runtime_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	rq->idle	4096-ptr_max
PARAM_VALUE	0	rq->idle_stamp	0
PARAM_VALUE	0	rq->next_class	4324740454212079616
PARAM_VALUE	0	rq->next_class->balance	8638459336928428032
PARAM_VALUE	0	rq->next_class->dequeue_task	144070366336110592
PARAM_VALUE	0	rq->next_class->enqueue_task	0
PARAM_VALUE	0	rq->next_class->find_lock_rq	0
PARAM_VALUE	0	rq->next_class->get_prio	0
PARAM_VALUE	0	rq->next_class->get_rr_interval	0
PARAM_VALUE	0	rq->next_class->migrate_task_rq	0
PARAM_VALUE	0	rq->next_class->pick_task	431140902756892672
PARAM_VALUE	0	rq->next_class->prio_changed	6494577740674654208
PARAM_VALUE	0	rq->next_class->put_prev_task	3309484659987406848
PARAM_VALUE	0	rq->next_class->reweight_task	0
PARAM_VALUE	0	rq->next_class->rq_offline	0
PARAM_VALUE	0	rq->next_class->rq_online	0
PARAM_VALUE	0	rq->next_class->select_task_rq	8680431057181843456
PARAM_VALUE	0	rq->next_class->set_cpus_allowed	7127180339355369472
PARAM_VALUE	0	rq->next_class->set_next_task	4361835877848195072
PARAM_VALUE	0	rq->next_class->switched_from	0
PARAM_VALUE	0	rq->next_class->switched_to	0
PARAM_VALUE	0	rq->next_class->switching_from	0
PARAM_VALUE	0	rq->next_class->switching_to	1207858565835722752
PARAM_VALUE	0	rq->next_class->task_change_group	0
PARAM_VALUE	0	rq->next_class->task_dead	0
PARAM_VALUE	0	rq->next_class->task_fork	0
PARAM_VALUE	0	rq->next_class->task_is_throttled	0
PARAM_VALUE	0	rq->next_class->task_tick	5021036204559331328
PARAM_VALUE	0	rq->next_class->task_woken	0
PARAM_VALUE	0	rq->next_class->uclamp_enabled	0
PARAM_VALUE	0	rq->next_class->update_curr	8139140255186919424
PARAM_VALUE	0	rq->next_class->wakeup_preempt	6679893776262037504
PARAM_VALUE	0	rq->next_class->yield_task	0
PARAM_VALUE	0	rq->next_class->yield_to_task	0
PARAM_VALUE	0	rq->rt.pushable_tasks.node_list.next	4096-ptr_max
PARAM_VALUE	0	rq->rt.rt_runtime_lock.dep_map->name	0-255
PARAM_VALUE	0	rq->rt.rt_runtime_lock.owner	(-1)
PARAM_VALUE	0	rq->rt.rt_runtime_lock.owner_cpu	u32max
PARAM_VALUE	1	rf	1839147373677166592
PARAM_VALUE	1	rf->clock_update_flags	0,4
CAPPED_DATA	0	rq	1
CAPPED_DATA	0	rq->idle	1
DATA_SOURCE	0	rq	$0
DATA_SOURCE	1	rf	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		irq