Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/fixups.c bpf_jit_subprogs() -> bpf_jit_prog_release_other()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->blinded | 1 |
| PARAM_VALUE | 1 | fp_other | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->blinded | 1 |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| CAPPED_DATA | 0 | fp | 1 |
| DATA_SOURCE | 0 | fp | r bpf_jit_blind_constants |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->offload->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->len |
kernel/bpf/fixups.c bpf_jit_subprogs() -> bpf_jit_prog_release_other()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->blinded | 1 |
| PARAM_VALUE | 1 | fp_other | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->blinded | 1 |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| CAPPED_DATA | 1 | fp_other | 1 |
| DATA_SOURCE | 1 | fp_other | r bpf_jit_blind_constants |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | fp_other->aux->offload->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->len |
kernel/bpf/core.c bpf_jit_blind_constants() -> bpf_jit_prog_release_other()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->blinded | 0 |
| PARAM_VALUE | 0 | fp->blinding_requested | 1 |
| PARAM_VALUE | 0 | fp->insnsi->code | 0-255 |
| PARAM_VALUE | 0 | fp->insnsi->dst_reg | 0-15 |
| PARAM_VALUE | 0 | fp->insnsi->imm | s32min-s32max |
| PARAM_VALUE | 0 | fp->insnsi->off | s16min-s16max |
| PARAM_VALUE | 0 | fp->insnsi->src_reg | 0-15 |
| PARAM_VALUE | 1 | fp_other | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->insnsi->code | 0-255 |
| PARAM_VALUE | 1 | fp_other->insnsi->dst_reg | 0-15 |
| PARAM_VALUE | 1 | fp_other->insnsi->imm | s32min-s32max |
| PARAM_VALUE | 1 | fp_other->insnsi->off | s16min-s16max |
| PARAM_VALUE | 1 | fp_other->insnsi->src_reg | 0-15 |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| CAPPED_DATA | 0 | fp | 1 |
| DATA_SOURCE | 0 | fp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fp->aux->prog->len | 1-4096[c] |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->nr_linfo | |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->len | |
| USER_PTR | 0 | fp->insns |
kernel/bpf/core.c bpf_prog_jit_compile() -> bpf_jit_prog_release_other()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->ext_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | fp->aux->ext_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->ext_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->ext_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->ksym.lnode.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->ksym.lnode.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->ksym.lnode.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->ksym.lnode.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->ksym.lnode.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->main_prog_aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->offload_requested | 0 |
| PARAM_VALUE | 0 | fp->aux->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->prog->active | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->sig.keyring_type | 0-4 |
| PARAM_VALUE | 0 | fp->aux->sig.verdict | 0-1 |
| PARAM_VALUE | 0 | fp->aux->st_ops_assoc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->insnsi->code | 0-255 |
| PARAM_VALUE | 0 | fp->insnsi->dst_reg | 0-15 |
| PARAM_VALUE | 0 | fp->insnsi->imm | s32min-s32max |
| PARAM_VALUE | 0 | fp->insnsi->off | s16min-s16max |
| PARAM_VALUE | 0 | fp->insnsi->src_reg | 0-15 |
| PARAM_VALUE | 0 | fp->jited | 1 |
| PARAM_VALUE | 1 | fp_other | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->blinded | 0 |
| PARAM_VALUE | 1 | fp_other->blinding_requested | 1 |
| PARAM_VALUE | 1 | fp_other->bpf_func | 0,4651182727458865152 |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| DATA_SOURCE | 0 | fp | $1 [m] |
| PARAM_COMPARE | 0 | fp | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fp->aux->prog->len | 1-4096[c] |
| USER_DATA | 0 | fp->insns->code | 0-u16max |
| USER_DATA | 0 | fp->insns->jf | 0-255 |
| USER_DATA | 0 | fp->insns->jt | 0-255 |
| USER_DATA | 0 | fp->insns->k | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->nr_linfo | |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->offload->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->len | |
| USER_PTR | 0 | fp->insns |
kernel/bpf/core.c bpf_prog_jit_compile() -> bpf_jit_prog_release_other()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->blinded | 0 |
| PARAM_VALUE | 0 | fp->blinding_requested | 1 |
| PARAM_VALUE | 0 | fp->bpf_func | 0,4651182727458865152 |
| PARAM_VALUE | 1 | fp_other | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->dst_mutex.first_waiter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->dst_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->dst_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->dst_mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->ext_mutex.first_waiter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->ext_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->ext_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->ext_mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->ksym.lnode.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->ksym.lnode.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->ksym.lnode.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->ksym.lnode.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->ksym.lnode.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->main_prog_aux | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->offload_requested | 0 |
| PARAM_VALUE | 1 | fp_other->aux->prog | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->prog->active | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->prog->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->sig.keyring_type | 0-4 |
| PARAM_VALUE | 1 | fp_other->aux->sig.verdict | 0-1 |
| PARAM_VALUE | 1 | fp_other->aux->st_ops_assoc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->aux->used_maps_mutex.first_waiter | 0 |
| PARAM_VALUE | 1 | fp_other->aux->used_maps_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | fp_other->insnsi->code | 0-255 |
| PARAM_VALUE | 1 | fp_other->insnsi->dst_reg | 0-15 |
| PARAM_VALUE | 1 | fp_other->insnsi->imm | s32min-s32max |
| PARAM_VALUE | 1 | fp_other->insnsi->off | s16min-s16max |
| PARAM_VALUE | 1 | fp_other->insnsi->src_reg | 0-15 |
| PARAM_VALUE | 1 | fp_other->jited | 0 |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| BUF_SIZE | 1 | fp_other | (-1)-s32max |
| DATA_SOURCE | 1 | fp_other | $1 [m] |
| PARAM_COMPARE | 1 | fp_other | == $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | fp_other->aux->prog->len | 1-4096[c] |
| USER_DATA | 1 | fp_other->insns->code | 0-u16max |
| USER_DATA | 1 | fp_other->insns->jf | 0-255 |
| USER_DATA | 1 | fp_other->insns->jt | 0-255 |
| USER_DATA | 1 | fp_other->insns->k | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | fp->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->aux->nr_linfo | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->aux->offload->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | fp_other->len | |
| USER_PTR | 1 | fp_other->insns |