Defined in 1 files as a function:
Referenced in 4 files:
- include/linux/bpf.h
- kernel/bpf/trampoline.c
- kernel/trace/bpf_trace.c, line 2131
- net/bpf/test_run.c, line 770
Smatch caller information:
net/bpf/test_run.c __bpf_prog_test_run_raw_tp() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->active | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
kernel/bpf/trampoline.c __bpf_prog_exit_recur() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | prog | $0 |
| NOCHECK_CALL |
kernel/bpf/trampoline.c __bpf_prog_exit_sleepable_recur() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->active | 4096-ptr_max |
| BUF_SIZE | 0 | prog | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | prog | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | prog->aux->max_ctx_offset | 1 |
| DATA_SOURCE | 0 | prog | $0 |
| NOCHECK_CALL |
kernel/trace/bpf_trace.c __bpf_trace_run() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->active | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
kernel/trace/bpf_trace.c bpf_prog_run_array_sleepable() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->active | 4096-ptr_max |
| NOCHECK_CALL |
kernel/trace/bpf_trace.c bpf_prog_run_array_sleepable() -> bpf_prog_put_recursion_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->active | 4096-ptr_max |
| NOCHECK_CALL |