Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
io_uring/io-wq.c create_worker_cb() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->workers_lock.dep_map->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
io_uring/io-wq.c create_worker_cont() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->all_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->free_list.first | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->free_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->workers_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | worker->acct->workers_lock.owner | (-1) |
| PARAM_VALUE | 0 | worker->acct->workers_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | worker->all_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->nulls_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->task | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->task->worker_private | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->wq | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
io_uring/io-wq.c create_worker_cont() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
io_uring/io-wq.c io_acct_activate_free_worker() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | worker->task | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->task->blocked_on | 0 |
| PARAM_VALUE | 0 | worker->task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->task->migration_disabled | 0-1 |
| PARAM_VALUE | 0 | worker->task->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | worker->task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | worker->task->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | worker->task->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | worker->task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | worker->task->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | worker->task->pushable_tasks.prio_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->task->saved_state | 0 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->fair_server.inactive_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | worker->task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | worker->task->wake_cpu | 0-s32max |
| CAPPED_DATA | 0 | worker->task | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
io_uring/io-wq.c io_acct_for_each_worker() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->ref.refs.counter | (-1073741824),0-s32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &acct->workers_lock |
io_uring/io-wq.c io_queue_worker_create() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | worker->wq | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.owner_cpu | u32max |
| BUF_SIZE | 0 | worker | (-1),280,464 |
| BUF_SIZE | 0 | worker | (-1),280,464 |
| CAPPED_DATA | 0 | worker | 1 |
| DATA_SOURCE | 0 | worker | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
io_uring/io-wq.c io_worker_cancel_cb() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->acct->workers_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | worker->acct->workers_lock.owner | (-1) |
| PARAM_VALUE | 0 | worker->acct->workers_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | worker->wq | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | worker->wq->worker_done.wait.lock.owner_cpu | u32max |
| CAPPED_DATA | 0 | worker | 1 |
| DATA_SOURCE | 0 | worker | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
io_uring/io-wq.c io_worker_exit() -> io_worker_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | worker | 4096-ptr_max |
| PARAM_VALUE | 0 | worker->wq->task | 4096-ptr_max |
| CAPPED_DATA | 0 | worker | 1 |
| DATA_SOURCE | 0 | worker | $0 |
| NOCHECK_CALL |