Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/core/filter.c bpf_migrate_filter() -> bpf_prog_realloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp_old | 4096-ptr_max |
| PARAM_VALUE | 0 | fp_old->active | 4096-ptr_max |
| PARAM_VALUE | 0 | fp_old->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp_old->blinding_requested | 0 |
| PARAM_VALUE | 0 | fp_old->bpf_func | 0 |
| PARAM_VALUE | 0 | fp_old->jit_requested | 1 |
| PARAM_VALUE | 0 | fp_old->jit_required | 1 |
| PARAM_VALUE | 0 | fp_old->jited | 0 |
| PARAM_VALUE | 0 | fp_old->len | 1-4096 |
| PARAM_VALUE | 0 | fp_old->orig_prog | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fp_old->stats | 4096-ptr_max |
| PARAM_VALUE | 2 | gfp_extra_flags | 0 |
| BUF_SIZE | 0 | fp_old | 0-s32max |
| BUF_SIZE | 0 | fp_old | 0-s32max |
| CAPPED_DATA | 0 | fp_old->len | 1 |
| DATA_SOURCE | 0 | fp_old | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fp_old->len | 1-4096[c] |
| NO_OVERFLOW_SIMPLE | 0 | fp_old->len |
kernel/bpf/core.c bpf_patch_insn_single() -> bpf_prog_realloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp_old | 4096-ptr_max |
| PARAM_VALUE | 0 | fp_old->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | fp_old->insnsi->code | 0-255 |
| PARAM_VALUE | 0 | fp_old->insnsi->dst_reg | 0-15 |
| PARAM_VALUE | 0 | fp_old->insnsi->imm | s32min-s32max |
| PARAM_VALUE | 0 | fp_old->insnsi->off | s16min-s16max |
| PARAM_VALUE | 0 | fp_old->insnsi->src_reg | 0-15 |
| PARAM_VALUE | 2 | gfp_extra_flags | 1051840 |
| BUF_SIZE | 0 | fp_old | (-1)-s32max |
| BUF_SIZE | 0 | fp_old | (-1)-s32max |
| DATA_SOURCE | 0 | fp_old | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | fp_old->len |