Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/syscall.c bpf_prog_load() -> bpf_prog_dev_bound_init()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->active 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->attach_btf 0,4096-ptr_max
PARAM_VALUE 0 prog->aux->attach_btf_id 0-1048575
PARAM_VALUE 0 prog->aux->dev_bound 1
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->dst_prog 0,4096-ptr_max
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->prog 4096-ptr_max
PARAM_VALUE 0 prog->aux->prog->active 4096-ptr_max
PARAM_VALUE 0 prog->aux->prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->refcnt.counter 1
PARAM_VALUE 0 prog->aux->sig.keyring_type 0
PARAM_VALUE 0 prog->aux->sig.verdict 0
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->token 0,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->aux->user 4096-ptr_max
PARAM_VALUE 0 prog->blinding_requested 0
PARAM_VALUE 0 prog->expected_attach_type 0-58
PARAM_VALUE 0 prog->jit_requested 1
PARAM_VALUE 0 prog->jit_required 1
PARAM_VALUE 0 prog->jited 0
PARAM_VALUE 0 prog->len 1-1000000
PARAM_VALUE 0 prog->orig_prog 0
PARAM_VALUE 0 prog->stats 4096-ptr_max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 1 attr->attach_btf_id 0-1048575
PARAM_VALUE 1 attr->expected_attach_type 0-58
PARAM_VALUE 1 attr->insn_cnt 1-1000000
PARAM_VALUE 1 attr->prog_flags 0-131070
PARAM_VALUE 1 attr->prog_ifindex 1-u32max
PARAM_VALUE 1 attr->prog_type 3-4,6,8-16,18-19,21-23,25,28,32
BUF_SIZE 0 prog 0-s32max
BUF_SIZE 0 prog 0-s32max
BUF_SIZE 0 prog->aux->attach_btf s32min-(-2),0-s32max
BUF_SIZE 0 prog->aux->dst_prog s32min-(-2),0-s32max
BUF_SIZE 0 prog->aux->token s32min-(-2),0-s32max
CAPPED_DATA 0 prog->len 1
CAPPED_DATA 1 attr->insn_cnt 1
DATA_SOURCE 0 prog r bpf_prog_alloc
DATA_SOURCE 1 attr $0
FUZZY_MAX 1 attr->insn_cnt 1000000
BIT_INFO 1 attr->prog_flags 0x0,0x100ff
HARD_MAX 1 attr->insn_cnt 1000000
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
USER_DATA 0 *prog->insns s64min-s64max
USER_PTR 0 prog->insns