Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

io_uring/io-wq.c io_worker_exit() -> task_work_cancel_match()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 2 data 4096-ptr_max
DATA_SOURCE 2 data $0

io_uring/io-wq.c io_wq_cancel_tw_create() -> task_work_cancel_match()

Type Parameter Key Value
PARAM_VALUE 2 data 4096-ptr_max
DATA_SOURCE 2 data $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

io_uring/io-wq.c io_wq_cancel_tw_create() -> task_work_cancel_match()

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 2 data 4096-ptr_max
DATA_SOURCE 2 data $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/task_work.c task_work_cancel() -> task_work_cancel_match()

Type Parameter Key Value
PARAM_VALUE 0 task->sched_class->enqueue_task 0,126196709549080576,1834828045319467008,6555940243012698112,7779016139136778240
PARAM_VALUE 0 task->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 task->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 data 4096-ptr_max
DATA_SOURCE 0 task $0
DATA_SOURCE 2 data $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 task->exit_code 0,256-65280[c]
USER_DATA 0 task->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 task->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 task->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 task->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 task->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 task->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 task->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 task->delays->wpcopy_delay
NO_OVERFLOW_SIMPLE 0 task->signal->stats->blkio_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->compact_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->cpu_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->cpu_run_virtual_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->freepages_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->irq_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->swapin_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->thrashing_delay_total
NO_OVERFLOW_SIMPLE 0 task->signal->stats->wpcopy_delay_total

kernel/task_work.c task_work_cancel_func() -> task_work_cancel_match()

Type Parameter Key Value
DATA_SOURCE 0 task $0
DATA_SOURCE 2 data $1
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read