Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/btf.c btf_array_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_array_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env 1608
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_datasec_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0
UNITS 1 type_id unit_array_size

kernel/bpf/btf.c btf_decl_tag_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 type_id 1-u32max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_modifier_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_modifier_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_ptr_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_ptr_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_ptr_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_resolve_valid() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 type_id $2

kernel/bpf/btf.c btf_struct_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_struct_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_var_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 1 type_id 1
DATA_SOURCE 0 env $0

kernel/bpf/btf.c btf_var_resolve() -> env_type_is_resolved()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0