Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/core/filter.c bpf_migrate_filter() -> bpf_prog_select_runtime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.dep_map->name | 0-255 |
| 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.dep_map->name | 0-255 |
| 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->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->st_ops_assoc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fp->aux->st_ops_assoc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->stack_depth | 1-u32max |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.dep_map->name | 0-255 |
| 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->orig_prog->filter | 1-u64max |
| PARAM_VALUE | 0 | fp->orig_prog->len | 1-4096 |
| PARAM_VALUE | 1 | err | 8349128053790199808 |
| PARAM_VALUE | 1 | *err | 0 |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| BUF_SIZE | 0 | fp | (-1)-s32max |
| DATA_SOURCE | 0 | fp | r bpf_prog_realloc |
| BIT_INFO | 0 | fp->len | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fp->aux->prog->len | 1-4096[c] |
| NO_OVERFLOW_SIMPLE | 0 | fp->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | fp->len | |
| USER_PTR | 0 | fp->insns |
lib/test_bpf.c generate_filter() -> bpf_prog_select_runtime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->active | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.dep_map->name | 0-255 |
| 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.dep_map->name | 0-255 |
| 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->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->st_ops_assoc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fp->aux->st_ops_assoc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.dep_map->name | 0-255 |
| 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->aux->used_maps_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | fp->blinding_requested | 0 |
| PARAM_VALUE | 0 | fp->jit_requested | 1 |
| PARAM_VALUE | 0 | fp->jit_required | 1 |
| PARAM_VALUE | 0 | fp->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->type | 1 |
| PARAM_VALUE | 1 | err | 8474743747252166656 |
| BUF_SIZE | 0 | fp | 0-s32max |
| BUF_SIZE | 0 | fp | 0-s32max |
| DATA_SOURCE | 0 | fp | r bpf_prog_alloc |
| DATA_SOURCE | 1 | err | $1 |
| BIT_INFO | 0 | fp->len | 0x0,0x7fffffff |
lib/test_bpf.c prepare_tail_call_tests() -> bpf_prog_select_runtime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->active | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->dst_mutex.dep_map->name | 0-255 |
| 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.dep_map->name | 0-255 |
| 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->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->st_ops_assoc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fp->aux->st_ops_assoc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->aux->stack_depth | 0,8,16,32 |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.dep_map->name | 0-255 |
| 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->aux->used_maps_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | fp->aux->used_maps_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | fp->blinding_requested | 0 |
| PARAM_VALUE | 0 | fp->jit_requested | 1 |
| PARAM_VALUE | 0 | fp->jit_required | 1 |
| PARAM_VALUE | 0 | fp->len | 0-s32max |
| PARAM_VALUE | 0 | fp->stats | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->type | 1 |
| PARAM_VALUE | 1 | err | 484345571019145216 |
| BUF_SIZE | 0 | fp | 0-s32max |
| BUF_SIZE | 0 | fp | 0-s32max |
| DATA_SOURCE | 0 | fp | r bpf_prog_alloc |