Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_ptr_to_btf_access() -> (struct bpf_verifier_ops)->btf_struct_access()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 1 reg 4096-ptr_max
PARAM_VALUE 1 reg->btf 4096-ptr_max
PARAM_VALUE 1 reg->btf->kernel_btf 1
PARAM_VALUE 2 off 0-s32max
BUF_SIZE 1 reg (-1),880
BUF_SIZE 1 reg (-1),880
CAPPED_DATA 1 reg->btf->start_id 1
DATA_SOURCE 1 reg $2
DATA_SOURCE 2 off $4
DATA_SOURCE 3 size $5
FUZZY_MAX 2 off 0
CONTAINER 0 -48-16+2176 $(-1)
PARAM_COMPARE 1 reg->btf->start_id <= $1->btf_id
BIT_INFO 1 reg->type 0x0,0xffffe7ff