Open Menu /

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_blind_constants()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 0 env->prog->aux 4096-ptr_max
PARAM_VALUE 0 env->prog->blinded 0
PARAM_VALUE 0 env->prog->blinding_requested 1
PARAM_VALUE 0 env->prog->jit_requested 1
PARAM_VALUE 0 env->subprog_cnt 2-s32max
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->blinded 0
PARAM_VALUE 1 prog->blinding_requested 1
CAPPED_DATA 0 env->subprog_cnt 1
DATA_SOURCE 0 env $0
FUZZY_MAX 0 env->subprog_cnt 2
NO_OVERFLOW_SIMPLE 0 env->subprog_cnt

kernel/bpf/core.c bpf_prog_jit_compile() -> bpf_jit_blind_constants()

Type Parameter Key Value
PARAM_VALUE 0 env 0
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->aux 4096-ptr_max
PARAM_VALUE 1 prog->aux->dst_mutex.first_waiter 0
PARAM_VALUE 1 prog->aux->dst_mutex.magic 4096-ptr_max
PARAM_VALUE 1 prog->aux->dst_mutex.osq.tail.counter 0
PARAM_VALUE 1 prog->aux->dst_mutex.owner.counter 0
PARAM_VALUE 1 prog->aux->ext_mutex.first_waiter 0
PARAM_VALUE 1 prog->aux->ext_mutex.magic 4096-ptr_max
PARAM_VALUE 1 prog->aux->ext_mutex.osq.tail.counter 0
PARAM_VALUE 1 prog->aux->ext_mutex.owner.counter 0
PARAM_VALUE 1 prog->aux->ksym.lnode.next 4096-ptr_max
PARAM_VALUE 1 prog->aux->ksym.lnode.next->next 4096-ptr_max
PARAM_VALUE 1 prog->aux->ksym.lnode.prev 4096-ptr_max
PARAM_VALUE 1 prog->aux->ksym.lnode.prev->next 4096-ptr_max
PARAM_VALUE 1 prog->aux->ksym.lnode.prev->prev 4096-ptr_max
PARAM_VALUE 1 prog->aux->main_prog_aux 4096-ptr_max
PARAM_VALUE 1 prog->aux->offload_requested 0
PARAM_VALUE 1 prog->aux->prog 4096-ptr_max
PARAM_VALUE 1 prog->aux->prog->active 4096-ptr_max
PARAM_VALUE 1 prog->aux->prog->aux 4096-ptr_max
PARAM_VALUE 1 prog->aux->sig.keyring_type 0-4
PARAM_VALUE 1 prog->aux->sig.verdict 0-1
PARAM_VALUE 1 prog->aux->st_ops_assoc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 prog->aux->used_maps_mutex.first_waiter 0
PARAM_VALUE 1 prog->aux->used_maps_mutex.magic 4096-ptr_max
PARAM_VALUE 1 prog->blinded 0
PARAM_VALUE 1 prog->blinding_requested 1
PARAM_VALUE 1 prog->bpf_func 0,4651182727458865152
PARAM_VALUE 1 prog->insnsi->code 0-255
PARAM_VALUE 1 prog->insnsi->dst_reg 0-15
PARAM_VALUE 1 prog->insnsi->imm s32min-s32max
PARAM_VALUE 1 prog->insnsi->off s16min-s16max
PARAM_VALUE 1 prog->insnsi->src_reg 0-15
BUF_SIZE 1 prog (-1)-s32max
BUF_SIZE 1 prog (-1)-s32max
DATA_SOURCE 0 env $0
DATA_SOURCE 1 prog $1
BIT_INFO 1 prog->len 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 prog->aux->prog->len 1-4096[c]
NO_OVERFLOW_SIMPLE 1 prog->aux->nr_linfo
NO_OVERFLOW_SIMPLE 1 prog->aux->prog->len
NO_OVERFLOW_SIMPLE 1 prog->len
USER_PTR 1 prog->insns