Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

kernel/bpf/fixups.c bpf_do_misc_fixups() -> btf_type_vlen()

Type Parameter Key Value

kernel/bpf/fixups.c bpf_do_misc_fixups() -> btf_type_vlen()

Type Parameter Key Value

net/bpf/bpf_dummy_struct_ops.c bpf_struct_ops_test_run() -> btf_type_vlen()

Type Parameter Key Value

net/bpf/bpf_dummy_struct_ops.c check_test_run_args() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

net/bpf/bpf_dummy_struct_ops.c check_test_run_args() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/inode.c btf_vlen() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/bpf_lsm.c bpf_lsm_find_cgroup_shim() -> btf_type_vlen()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cgroup_mutex

kernel/bpf/relo_core.c btf_vlen() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $0

kernel/bpf/btf_iter.c btf_vlen() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0

kernel/bpf/btf.c __btf_struct_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c __btf_struct_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c btf_array_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_check_dtor_kfuncs() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->type 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_check_func_type_match() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->type 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_check_func_type_match() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->type 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_check_iter_arg() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_check_iter_kfuncs() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->type 1
DATA_SOURCE 0 t $2

kernel/bpf/btf.c btf_ctx_access() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/btf.c btf_ctx_arg_idx() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_datasec_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_datasec_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_datasec_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_datasec_log() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/btf.c btf_datasec_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c btf_datasec_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c btf_decl_tag_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

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

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_distill_func_proto() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2

kernel/bpf/btf.c btf_enum64_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_enum64_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c btf_enum_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_enum_log() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_enum_show() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/btf.c btf_find_datasec_var() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_find_datasec_var() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_find_struct_field() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_find_struct_field() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_float_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_func_check() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_func_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_func_proto_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_func_proto_log() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_fwd_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_int_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_nested_type_is_trusted() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_nested_type_is_trusted() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_parse_graph_root() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_parse_graph_root() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_parse_struct_metas() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_parse_struct_metas() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_prepare_func_args() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/btf.c btf_ref_type_check_meta() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_struct_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_struct_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_struct_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/btf.c btf_struct_log() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/btf.c btf_struct_walk() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2 [m]

kernel/bpf/btf.c btf_struct_walk() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2 [m]

kernel/bpf/btf.c btf_struct_walk() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2 [m]

kernel/bpf/btf.c btf_var_check_meta() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-18446744073709547519
CAPPED_DATA 0 t->name_off 1
DATA_SOURCE 0 t $1

kernel/bpf/verifier.c __btf_type_is_scalar_struct() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2

kernel/bpf/verifier.c __btf_type_is_scalar_struct() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $2

kernel/bpf/verifier.c __check_pseudo_btf_id() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/verifier.c __check_pseudo_btf_id() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/verifier.c bpf_get_call_summary() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/verifier.c bpf_kfunc_stack_access_bytes() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/verifier.c check_kfunc_args() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/verifier.c check_struct_ops_btf_id() -> btf_type_vlen()

Type Parameter Key Value

kernel/bpf/verifier.c gen_kfunc_arg_proto() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max

kernel/bpf/verifier.c is_kfunc_arg_implicit() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t r btf_type_by_id

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_release() -> btf_type_vlen()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_release() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_update_elem() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->size 1
LOCK2 &st_map->lock
TYPE_LOCK (struct bpf_struct_ops_map)->lock

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_update_elem() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->size 1
LOCK2 &st_map->lock
TYPE_LOCK (struct bpf_struct_ops_map)->lock

kernel/bpf/bpf_struct_ops.c btf_vlen() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $0

kernel/bpf/bpf_struct_ops.c check_zero_holes() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $1

kernel/bpf/bpf_struct_ops.c check_zero_holes() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/bpf_struct_ops.c count_func_ptrs() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t $1

kernel/bpf/bpf_struct_ops.c count_func_ptrs() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $1

kernel/bpf/bpf_struct_ops.c prepare_arg_info() -> btf_type_vlen()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->type 1
DATA_SOURCE 0 t $3

kernel/bpf/bpf_struct_ops.c prepare_arg_info() -> btf_type_vlen()

Type Parameter Key Value
DATA_SOURCE 0 t r btf_type_by_id