Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

kernel/bpf/verifier.c check_ptr_to_btf_access() -> 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 2 off 0-s32max
PARAM_VALUE 4 atype 1-2
PARAM_VALUE 5 next_btf_id 6720319503837863936
PARAM_VALUE 5 *next_btf_id 0
PARAM_VALUE 6 flag 1445653554178260992
PARAM_VALUE 7 field_name 8269057624296747008
PARAM_VALUE 7 *field_name 0
PARAM_VALUE 7 *(*field_name) 0
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
DATA_SOURCE 4 atype $6
FUZZY_MAX 2 off 0
PARAM_COMPARE 1 reg->btf->start_id <= $1->btf_id
BIT_INFO 1 reg->type 0x0,0xffffe7ff
HARD_MAX 4 atype 2
UNITS 2 off unit_byte
UNITS 3 size unit_byte

kernel/bpf/verifier.c check_ptr_to_map_access() -> btf_struct_access()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 1 reg 8007142782365880320
PARAM_VALUE 2 off 0-s32max
PARAM_VALUE 3 size 1-2,4,8
PARAM_VALUE 4 atype 1
PARAM_VALUE 5 next_btf_id 2759119473250930688
PARAM_VALUE 6 flag 6159842459633487872
PARAM_VALUE 7 field_name 0
DATA_SOURCE 2 off $4
DATA_SOURCE 3 size $5
DATA_SOURCE 4 atype $6
FUZZY_MAX 2 off 0
MEM_ZERO 1 reg
UNITS 2 off unit_byte
UNITS 3 size unit_byte