Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/fixups.c jit_subprogs() -> bpf_prog_jit_attempt_done()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->func 4096-ptr_max
PARAM_VALUE 0 prog->aux->real_func_cnt 2-s32max
PARAM_VALUE 0 prog->aux->size_poke_tab 0-s32max
PARAM_VALUE 0 prog->insnsi 4096-ptr_max
PARAM_VALUE 0 prog->jit_requested 1
PARAM_VALUE 0 prog->jited 1
PARAM_VALUE 0 prog->len 0-s32max
BUF_SIZE 0 prog->aux->func 16-17179869176
CAPPED_DATA 0 prog->aux->real_func_cnt 1
CAPPED_DATA 0 prog->aux->size_poke_tab 1
CAPPED_DATA 0 prog->len 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 prog->aux->nr_linfo
NO_OVERFLOW_SIMPLE 0 prog->aux->real_func_cnt
NO_OVERFLOW_SIMPLE 0 prog->len

kernel/bpf/fixups.c jit_subprogs() -> bpf_prog_jit_attempt_done()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->size_poke_tab 0-s32max
PARAM_VALUE 0 prog->jit_requested 1
PARAM_VALUE 0 prog->len 0-s32max
CAPPED_DATA 0 prog->aux->size_poke_tab 1
CAPPED_DATA 0 prog->len 1
FUZZY_MAX 0 prog->len 0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 prog->aux->nr_linfo
NO_OVERFLOW_SIMPLE 0 prog->len

kernel/bpf/core.c __bpf_prog_select_runtime() -> bpf_prog_jit_attempt_done()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux->dst_mutex.dep_map->name 0-255
PARAM_VALUE 0 prog->aux->dst_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->dst_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->dst_mutex.osq.tail.counter 0
PARAM_VALUE 0 prog->aux->dst_mutex.owner.counter 0
PARAM_VALUE 0 prog->aux->ext_mutex.dep_map->name 0-255
PARAM_VALUE 0 prog->aux->ext_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->ext_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->ext_mutex.osq.tail.counter 0
PARAM_VALUE 0 prog->aux->ext_mutex.owner.counter 0
PARAM_VALUE 0 prog->aux->ksym.lnode.next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.next->next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev->next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev->prev 4096-ptr_max
PARAM_VALUE 0 prog->aux->main_prog_aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->offload_requested 0
PARAM_VALUE 0 prog->aux->prog 4096-ptr_max
PARAM_VALUE 0 prog->aux->prog->active 1-u64max
PARAM_VALUE 0 prog->aux->prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->st_ops_assoc_mutex.dep_map->name 0-255
PARAM_VALUE 0 prog->aux->st_ops_assoc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->used_maps_mutex.dep_map->name 0-255
PARAM_VALUE 0 prog->aux->used_maps_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->used_maps_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->insnsi->code 0-255
PARAM_VALUE 0 prog->insnsi->dst_reg 0-15
PARAM_VALUE 0 prog->insnsi->imm s32min-s32max
PARAM_VALUE 0 prog->insnsi->off s16min-s16max
PARAM_VALUE 0 prog->insnsi->src_reg 0-15
BUF_SIZE 0 prog (-1)-s32max
BUF_SIZE 0 prog (-1)-s32max
CAPPED_DATA 0 prog 1
CAPPED_DATA 0 prog->aux 1
DATA_SOURCE 0 prog $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 prog->aux->prog->len 1-4096[c]
USER_DATA 0 prog->insns->code 0-u16max
USER_DATA 0 prog->insns->jf 0-255
USER_DATA 0 prog->insns->jt 0-255
USER_DATA 0 prog->insns->k 0-u32max
NO_OVERFLOW_SIMPLE 0 prog->aux->nr_linfo
NO_OVERFLOW_SIMPLE 0 prog->aux->offload->prog->len
NO_OVERFLOW_SIMPLE 0 prog->aux->prog->len
NO_OVERFLOW_SIMPLE 0 prog->len
USER_PTR 0 prog->insns