Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/ethernet/netronome/nfp/bpf/verifier.c
- include/linux/tnum.h, line 80
- kernel/bpf/log.c
-
kernel/bpf/verifier.c
- line 552
- line 2079
- line 3282
- line 3328
- line 3600
- line 3794
- line 3932
- line 3987
- line 4230
- line 4554
- line 4719
- line 5343
- line 5456
- line 5521
- line 5767
- line 6013
- line 6037
- line 6132
- line 6144
- line 6646
- line 6717
- line 6848
- line 6928
- line 6962
- line 7013
- line 7130
- line 7211
- line 8057
- line 8140
- line 8190
- line 8216
- line 11504
- line 11851
- line 11919
- line 13319
- line 13348
- line 13480
- line 13499
- line 13628
- line 13691
- line 14204
- line 14205
- line 14248
- line 14249
- line 14287
- line 14288
- line 14539
- line 14701
- line 14711
- line 15266
- line 15280
- line 15280
- line 15306
- line 15306
- line 17456
Smatch caller information:
kernel/bpf/log.c print_reg_state() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/log.c print_reg_state() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/log.c print_reg_state() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_bpf_check_exit() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| LOCK2 | global &bpf_devs_lock |
drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_bpf_check_stack_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| LOCK2 | global &bpf_devs_lock |
drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_bpf_map_mark_used() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| LOCK2 | global &bpf_devs_lock |
drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_bpf_stack_arg_ok() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| LOCK2 | global &bpf_devs_lock |
drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_record_adjust_head() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
| LOCK2 | global &bpf_devs_lock |
kernel/bpf/states.c tnum_equals_const() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $0 |
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __check_buffer_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __check_func_arg_reg_off() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __check_ptr_off_reg() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __process_kf_arg_ptr_to_graph_node() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __process_kf_arg_ptr_to_graph_root() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c adjust_scalar_min_max_vals() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c adjust_scalar_min_max_vals() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c assign_scalar_id_before_mov() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_arg_const_str() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_flow_keys_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_map_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_map_field_pointer() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_mem_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_mem_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_mem_size_reg() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_ptr_to_btf_access() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_reg_sane_offset_ptr() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_reg_sane_offset_scalar() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_access_for_ptr_arithmetic() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_access_within_bounds() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_access_within_bounds() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_range_initialized() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_range_initialized() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_read() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_read_fixed_off() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_write() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c check_stack_write_var_off() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c coerce_reg_to_size_sx() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c coerce_subreg_to_size_sx() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c const_tnum_range_mismatch() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c get_constant_map_key() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c get_constant_map_key() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_reg_const() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_safe_to_compute_dst_reg_range() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c process_const_alloc_mem_size() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c process_const_arg() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c process_kptr_func() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c process_spin_lock() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c sanitize_ptr_alu() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c sanitize_ptr_alu() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_and() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_and() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_or() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_or() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_xor() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar_min_max_xor() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c stack_slot_obj_get_spi() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c tnum_equals_const() -> tnum_is_const()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $0 |
| BIT_INFO | 0 | a | 0x0,0x0 |