Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->top_stack 1-u32max
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
NOCHECK_CALL

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

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

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

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

kernel/bpf/btf.c btf_func_resolve() -> env_stack_pop_resolved()

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

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

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

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

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

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

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

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

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