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/log.c print_verifier_state() -> iter_type_str()

Type Parameter Key Value

kernel/bpf/verifier.c process_iter_arg() -> iter_type_str()

Type Parameter Key Value
CAPPED_DATA 0 btf->start_id 1
CAPPED_DATA 1 btf_id 1
DATA_SOURCE 1 btf_id r btf_check_iter_arg
PARAM_COMPARE 0 btf->nr_types > $0->start_id
PARAM_COMPARE 1 btf_id >= $0->start_id
BIT_INFO 1 btf_id 0x0,0x7fffffff

kernel/bpf/verifier.c process_iter_arg() -> iter_type_str()

Type Parameter Key Value
CAPPED_DATA 0 btf->start_id 1
CAPPED_DATA 1 btf_id 1
DATA_SOURCE 1 btf_id r btf_check_iter_arg
PARAM_COMPARE 0 btf->nr_types > $0->start_id
PARAM_COMPARE 1 btf_id >= $0->start_id
BIT_INFO 1 btf_id 0x0,0x7fffffff
UNITS 1 btf_id unit_array_size