Defined in 1 files as a member:
Defined in 1 files as a function:
Defined in 3 files as a enum:
- drivers/nvmem/sunplus-ocotp.c, line 57 (as a enum)
- drivers/pinctrl/bcm/pinctrl-nsp-gpio.c, line 69 (as a enum)
- drivers/spi/spi-bcm-qspi.c, line 190 (as a enum)
Referenced in 10 files:
- drivers/pci/hotplug/cpqphp_pci.c
- drivers/pinctrl/bcm/pinctrl-nsp-gpio.c
- drivers/spi/spi-bcm-qspi.c
- include/linux/bpf_verifier.h
- kernel/bpf/btf.c, line 6974
- kernel/bpf/log.c
- kernel/bpf/states.c, line 542
-
kernel/bpf/verifier.c
- line 352
- line 1911
- line 4268
- line 4668
- line 4895
- line 6171
- line 6235
- line 6296
- line 6303
- line 6742
- line 6907
- line 7697
- line 7698
- line 7709
- line 7865
- line 7887
- line 7912
- line 8308
- line 8321
- line 8322
- line 8344
- line 8810
- line 8841
- line 8843
- line 8845
- line 8847
- line 8864
- line 9221
- line 9233
- line 9254
- line 10459
- line 10577
- line 10587
- line 11468
- line 11473
- line 12088
- line 12134
- line 12339
- line 12351
- line 12352
- line 12598
- line 12601
- line 12606
- line 13729
- line 13769
- line 16139
- line 16140
- line 16225
- line 16985
- line 17019
- line 17030
- line 18488
- line 18496
- line 18508
- line 18773
- net/ipv4/bpf_tcp_ca.c, line 52
- tools/testing/selftests/bpf/veristat.c
Smatch caller information:
kernel/bpf/log.c print_reg_state() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-17,19-u32max |
kernel/bpf/log.c print_reg_state() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-17,19-u32max |
kernel/bpf/log.c reg_type_str() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 256-u32max |
| DATA_SOURCE | 0 | type | $1 |
| BIT_INFO | 0 | type | 0x100,0xffffffff |
kernel/bpf/log.c reg_type_str() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $1 |
kernel/bpf/log.c type_is_map_ptr() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-17,19-u32max |
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/log.c type_is_pkt_pointer() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-17,19-u32max |
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/log.c type_is_ptr_alloc_obj() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-17,19-u32max |
| DATA_SOURCE | 0 | type | $0 |
net/ipv4/bpf_tcp_ca.c bpf_tcp_ca_is_valid_access() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/states.c regsafe() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
| CAPPED_DATA | 0 | type | 1 |
kernel/bpf/btf.c btf_ctx_access() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/trampoline.c bpf_prog_has_arena_ctx_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| HALF_LOCKED2 | &prog->aux->dst_mutex | ||
| HALF_LOCKED2 | global &cgroup_mutex |
kernel/bpf/verifier.c __check_ctx_access() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1 |
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0,2-17,19-u32max |
| BIT_INFO | 0 | type | 0x0,0xfffffeff |
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0,2-17,19-u32max |
| BIT_INFO | 0 | type | 0x0,0xfffffeff |
kernel/bpf/verifier.c arg_type_is_dynptr() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 8192-u32max |
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c arg_type_is_raw_mem() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c arg_type_is_raw_mem() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c bpf_helper_stack_access_bytes() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c bpf_helper_stack_access_bytes() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c bpf_helper_stack_access_bytes() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c bpf_prog_has_arena_ctx_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| HALF_LOCKED2 | &prog->aux->dst_mutex |
kernel/bpf/verifier.c btf_check_func_arg_match() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 5,23,260,16397,16900,1048589 |
| BIT_INFO | 0 | type | 0x0,0x1fbfff |
kernel/bpf/verifier.c btf_check_func_arg_match() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 5,23,260,16397,16900,1048589 |
| BIT_INFO | 0 | type | 0x0,0x1fbfff |
kernel/bpf/verifier.c btf_check_func_arg_match() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 5,260,16397,16900,1048589 |
| BIT_INFO | 0 | type | 0x0,0x1fbfff |
kernel/bpf/verifier.c check_args_pair_invalid() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_btf_id_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_btf_id_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_btf_id_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_btf_id_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_func_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
kernel/bpf/verifier.c check_func_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
kernel/bpf/verifier.c check_func_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
kernel/bpf/verifier.c check_func_arg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
kernel/bpf/verifier.c check_helper_call() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_helper_call() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_helper_call() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_helper_mem_access() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_kfunc_args() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_kfunc_args() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_ld_imm() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0,16,529,4112 |
kernel/bpf/verifier.c check_mem_access() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-3,6-u32max |
kernel/bpf/verifier.c check_mem_access() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | type | 0x1,0x1 |
kernel/bpf/verifier.c check_mem_access() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-1,3,7-9,16-u32max |
kernel/bpf/verifier.c check_mem_access() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-1,7-9,16-u32max |
kernel/bpf/verifier.c check_mem_arg_rw_flag_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-u32max |
kernel/bpf/verifier.c check_mem_reg() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-1048592,2097168,4718608,6815760 |
kernel/bpf/verifier.c check_reg_type() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
| DATA_SOURCE | 0 | type | $3 |
kernel/bpf/verifier.c check_reg_type() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 1-8,10-u32max |
| DATA_SOURCE | 0 | type | $3 |
kernel/bpf/verifier.c check_reg_type() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_struct_ops_btf_id() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c do_check_common() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-7,10-22,24-u32max |
kernel/bpf/verifier.c do_check_common() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-7,10-22,24-u32max |
kernel/bpf/verifier.c do_check_common() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-7,10-22,24-u32max |
kernel/bpf/verifier.c is_ptr_to_mem() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c is_ptr_to_mem_or_btf_id() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c is_trusted_reg() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c map_kptr_match_type() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c reg_is_dynptr_slice_pkt() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | type | 0-8,10-u32max |
kernel/bpf/verifier.c reg_not_null() -> base_type()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c reg_type_mismatch_ok() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c type_is_pkt_pointer() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $0 |
kernel/bpf/verifier.c type_is_ptr_alloc_obj() -> base_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | type | $0 |