Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/bpf/tnum.c tnum_with_subreg() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $1 |
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c __reg_bound_offset() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | r tnum_intersect |
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c cnum32_from_tnum() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $0 |
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c coerce_subreg_to_size_sx() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c const_tnum_range_mismatch_32() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_reg_const() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c is_scalar_branch_taken() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c reg_const_value() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c regs_refine_cond_op() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c regs_refine_cond_op() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c regs_refine_cond_op() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c regs_refine_cond_op() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_and() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_arsh() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_lsh() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_lsh() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_or() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_rsh() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c scalar32_min_max_xor() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c set_sext32_default_val() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c tnum_subreg_is_const() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $0 |
| BIT_INFO | 0 | a | 0x0,0x0 |
kernel/bpf/verifier.c zext_32_to_64() -> tnum_subreg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | a | 0x0,0x0 |