Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/btf.c btf_kfunc_check_flag() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 1 hook 0-13
PARAM_VALUE 2 kfunc_btf_id 1-u32max
CAPPED_DATA 0 btf->start_id 1
CAPPED_DATA 2 kfunc_btf_id 1
DATA_SOURCE 0 btf $0
DATA_SOURCE 2 kfunc_btf_id $1
FUZZY_MAX 1 hook 13
HARD_MAX 1 hook 13
UNITS 2 kfunc_btf_id unit_array_size

kernel/bpf/btf.c btf_kfunc_flags() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 0-ptr_max
PARAM_VALUE 1 hook 0
PARAM_VALUE 2 kfunc_btf_id 1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 2 kfunc_btf_id $1
UNITS 2 kfunc_btf_id unit_array_size

kernel/bpf/btf.c btf_kfunc_flags() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 0-ptr_max
PARAM_VALUE 0 btf->kfunc_set_tab 0,4096-ptr_max
PARAM_VALUE 1 hook 0-5,7-14
PARAM_VALUE 2 kfunc_btf_id 1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 1 hook r bpf_prog_type_to_kfunc_hook
DATA_SOURCE 2 kfunc_btf_id $1
UNITS 2 kfunc_btf_id unit_array_size

kernel/bpf/btf.c btf_kfunc_is_allowed() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 1 hook 0
PARAM_VALUE 2 kfunc_btf_id 1-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 2 kfunc_btf_id $1
UNITS 2 kfunc_btf_id unit_array_size

kernel/bpf/btf.c btf_kfunc_is_allowed() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 0 btf->kfunc_set_tab 0,4096-ptr_max
PARAM_VALUE 1 hook 0-5,7-14
PARAM_VALUE 2 kfunc_btf_id 1-s32max
DATA_SOURCE 0 btf $0
DATA_SOURCE 1 hook r bpf_prog_type_to_kfunc_hook
DATA_SOURCE 2 kfunc_btf_id $1
UNITS 2 kfunc_btf_id unit_array_size

kernel/bpf/btf.c btf_kfunc_is_modify_return() -> btf_kfunc_id_set_contains()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 0 btf->kernel_btf 1
PARAM_VALUE 0 btf->kfunc_set_tab 1-u64max
PARAM_VALUE 1 hook 6
PARAM_VALUE 2 kfunc_btf_id 1-u32max
CAPPED_DATA 0 btf->start_id 1
CAPPED_DATA 2 kfunc_btf_id 1
DATA_SOURCE 0 btf $0
DATA_SOURCE 2 kfunc_btf_id $1
UNITS 2 kfunc_btf_id unit_array_size