Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/helpers.c bpf_task_work_acquire_ctx() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 ctx (-1)-s32max
BUF_SIZE 0 ctx (-1)-s32max
DATA_SOURCE 0 ctx r bpf_task_work_fetch_ctx
NOCHECK_CALL

kernel/bpf/helpers.c bpf_task_work_acquire_ctx() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 ctx (-1)-s32max
BUF_SIZE 0 ctx (-1)-s32max
DATA_SOURCE 0 ctx r bpf_task_work_fetch_ctx
NOCHECK_CALL

kernel/bpf/helpers.c bpf_task_work_callback() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

kernel/bpf/helpers.c bpf_task_work_callback() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->map 4096-ptr_max
PARAM_VALUE 0 ctx->prog 0
PARAM_VALUE 0 ctx->task 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

kernel/bpf/helpers.c bpf_task_work_cancel() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->task 4096-ptr_max
PARAM_VALUE 0 ctx->task->pi_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->task->pi_lock.owner (-1)
PARAM_VALUE 0 ctx->task->pi_lock.owner_cpu u32max
PARAM_VALUE 0 ctx->task->sched_class->enqueue_task 0,126196709549080576,1834828045319467008,6555940243012698112,7779016139136778240
CAPPED_DATA 0 &ctx->work 1
DATA_SOURCE 0 ctx $0
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/helpers.c bpf_task_work_cancel_and_free() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/helpers.c bpf_task_work_cancel_scheduled() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 ctx->task 4096-ptr_max
PARAM_VALUE 0 ctx->task->pi_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->task->pi_lock.owner (-1)
PARAM_VALUE 0 ctx->task->pi_lock.owner_cpu u32max
NOCHECK_CALL

kernel/bpf/helpers.c bpf_task_work_irq() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
NOCHECK_CALL
LOCK2 rcu_read

kernel/bpf/helpers.c bpf_task_work_irq() -> bpf_task_work_ctx_put()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->prog 0
PARAM_VALUE 0 ctx->task 0
NOCHECK_CALL
LOCK2 rcu_read