Documented in 1 files:

Defined in 15 files as a prototype:

Defined in 1 files as a function:

Referenced in 27 files:

Smatch caller information:

kernel/bpf/helpers.c bpf_task_work_ctx_reset() -> bpf_task_release()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
PARAM_VALUE 0 p->sched_class->enqueue_task 0,77,126196709549080576,1834828045319467008,6555940243012698112,7779016139136778240
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/helpers.c bpf_task_work_schedule() -> bpf_task_release()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->rcu_users.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 p $0 [m]
PARAM_COMPARE 0 p == $0
NOCHECK_CALL