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:
kernel/irq/manage.c irq_thread() -> task_work_cancel_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
security/keys/keyctl.c keyctl_session_to_parent() -> task_work_cancel_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | task | 4096-ptr_max |
| PARAM_VALUE | 0 | task->exit_signal | 0-s32max |
| PARAM_VALUE | 0 | task->mm | 1-u64max |
| PARAM_VALUE | 0 | task->pid | 2-s32max |
| PARAM_VALUE | 0 | task->real_cred | 4096-ptr_max |
| PARAM_VALUE | 0 | task->real_cred->session_keyring | 0,4096-ptr_max |
| CAPPED_DATA | 0 | task->thread_node.next | 1 |
| FUZZY_MAX | 0 | task->pid | 2 |
| PARAM_COMPARE | 0 | &task->signal->thread_head | == $0->thread_node.next |
| LOCK2 | global &tasklist_lock | ||
| LOCK2 | irq | ||
| LOCK2 | rcu_read |