Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/btf.c btf_check_all_types() -> btf_resolve()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->log.len_total 0-1073741823
PARAM_VALUE 0 env->log.level 0-14
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env 1608
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_func_proto_check() -> btf_resolve()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->log.len_total 0-1073741823
PARAM_VALUE 0 env->log.level 0-14
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 type_id 1-u32max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_func_proto_check() -> btf_resolve()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->log.len_total 0-1073741823
PARAM_VALUE 0 env->log.level 0-14
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 2 type_id >= $0->btf->start_id