Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c __cancel_work_sync() -> __cancel_work()

Type Parameter Key Value
PARAM_VALUE 1 cflags 2-5
DATA_SOURCE 0 work $0
BIT_INFO 1 cflags 0x2,0x3
RX_PATH
TASK_NOT_RUNNING

kernel/workqueue.c cancel_delayed_work() -> __cancel_work()

Type Parameter Key Value
PARAM_VALUE 1 cflags 1

kernel/workqueue.c cancel_work() -> __cancel_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 cflags 0
DATA_SOURCE 0 work $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &display->drm->mode_config.mutex
HALF_LOCKED2 &dp->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &sched->lock
HALF_LOCKED2 &to_be_aborted_sdsc->lock
HALF_LOCKED2 &tracer->state_lock
HALF_LOCKED2 &xa->xa_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 irq

kernel/workqueue.c disable_delayed_work() -> __cancel_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 cflags 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 global &rtnl_mutex

kernel/workqueue.c disable_work() -> __cancel_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 cflags 2
CAPPED_DATA 0 work 1
DATA_SOURCE 0 work $0
RX_PATH
TASK_NOT_RUNNING