Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0

kernel/bpf/relo_core.c skip_mods_and_typedefs() -> btf_type_skip_modifiers()

Type Parameter Key Value
DATA_SOURCE 0 btf $0
DATA_SOURCE 1 id $1
DATA_SOURCE 2 res_id $2
NOSPEC 1 id
NOSPEC 2 *res_id
USER_DATA 1 id 0-u32max[c]
USER_DATA 2 *res_id 0-u32max[c]
UNITS 1 id unit_array_size
USER_PTR 2 res_id

kernel/bpf/btf.c __btf_array_show() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
CAPPED_DATA 1 id 1
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
CAPPED_DATA 1 id 1
DATA_SOURCE 0 btf $3

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $3

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $3

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 5902565889787338752
DATA_SOURCE 0 btf $0

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
CAPPED_DATA 1 id 1
DATA_SOURCE 0 btf $0

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

kernel/bpf/btf.c btf_modifier_show() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0
DATA_SOURCE 1 id $2
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 6125766663387660288
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0

kernel/bpf/btf.c btf_scan_type_tags() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1
DATA_SOURCE 1 id $2

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

kernel/bpf/btf.c btf_type_is_struct_ptr() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

kernel/bpf/btf.c btf_type_resolve_ptr() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf->struct_ops_tab (-1),8-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 1 id $1
UNITS 1 id unit_array_size
HALF_LOCKED2 &st_map->lock

kernel/bpf/btf.c btf_type_resolve_ptr() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0,8322198288504950784
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 2 res_id $2
HALF_LOCKED2 &st_map->lock

kernel/bpf/btf.c btf_validate_return_type() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

kernel/bpf/check_btf.c check_btf_func() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf->start_id 1
UNITS 1 id unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1
UNITS 1 id unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $1

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 0 btf->nr_types 0-4294967295
PARAM_VALUE 0 btf->start_id 0-4294967295
PARAM_VALUE 2 res_id 0
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
DATA_SOURCE 0 btf $3

kernel/bpf/verifier.c __is_kfunc_ptr_arg_type() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

kernel/bpf/verifier.c __is_kfunc_ptr_arg_type() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 1892632673515462656
DATA_SOURCE 0 btf $0

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf 1

kernel/bpf/verifier.c btf_type_is_struct_ptr() -> btf_type_skip_modifiers()

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

kernel/bpf/verifier.c check_helper_call() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
UNITS 1 id unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf 1

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

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 6866821754604822528
CAPPED_DATA 0 btf 1

kernel/bpf/verifier.c check_kfunc_call() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0

kernel/bpf/verifier.c check_kfunc_call() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 7610956662560391168

kernel/bpf/verifier.c get_kfunc_arg_type() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf 1

kernel/bpf/verifier.c get_kfunc_arg_type() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf 1

kernel/bpf/verifier.c is_kfunc_arg_const_mem_size() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

kernel/bpf/verifier.c is_kfunc_arg_mem_size() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
DATA_SOURCE 0 btf $0

kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 5762129696393048064
UNITS 1 id unit_array_size

kernel/bpf/verifier.c subprog_returns_void() -> btf_type_skip_modifiers()

Type Parameter Key Value
PARAM_VALUE 2 res_id 0
CAPPED_DATA 0 btf->start_id 1
PARAM_COMPARE 0 btf->nr_types > $0->start_id