Defined in 1 files as a function:
Referenced in 4 files:
-
drivers/pci/hotplug/ibmphp_pci.c
- line 36
- line 40
- line 43
- line 46
- line 49
- line 75
- line 84
- line 94
- line 96
- line 99
- line 99
- line 99
- line 123
- line 127
- line 133
- line 134
- line 138
- line 138
- line 142
- line 146
- line 147
- line 151
- line 151
- line 159
- line 161
- line 162
- line 164
- line 170
- line 173
- line 174
- line 177
- line 177
- line 199
- line 202
- line 205
- line 223
- line 226
- line 227
- line 229
- line 236
- line 240
- line 242
- line 243
- line 246
- line 246
- line 257
- line 271
- line 274
- line 277
- line 310
- line 311
- line 312
- line 313
- line 314
- line 315
- line 316
- line 317
- line 318
- line 1537
- line 1552
- line 1553
- line 1555
- line 1563
- line 1566
- line 1567
- line 1569
- line 1572
- line 1573
- line 1575
- line 1578
- line 1579
- line 1583
- line 1584
- line 1585
- drivers/scsi/aic7xxx/aicasm/aicasm.c
- include/linux/bpf_verifier.h, line 1143
- kernel/bpf/verifier.c
Smatch caller information:
drivers/net/ethernet/netronome/nfp/bpf/verifier.c cur_regs() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| LOCK2 | global &bpf_devs_lock |
kernel/bpf/verifier.c account_processed_insn() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c btf_check_func_arg_match() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| NO_OVERFLOW_SIMPLE | 0 | env->cur_state->jmp_history_cnt |
kernel/bpf/verifier.c check_func_call() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf |
kernel/bpf/verifier.c check_global_subprog_return_code() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| CAPPED_DATA | 0 | env->prog->aux->btf->start_id | 1 |
| CAPPED_DATA | 0 | env->prog->len | 1 |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_helper_call() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_helper_call() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_helper_call() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_kfunc_args() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_kfunc_call() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c check_reference_leak() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 9,16 |
| STR_LEN | 0 | env | 9,16 |
| NO_OVERFLOW_SIMPLE | 0 | env->cur_state->jmp_history_cnt |
kernel/bpf/verifier.c cur_regs() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | (-1),2-3,9,11,16 |
| STR_LEN | 0 | env | (-1),2-3,9,11,16 |
| NO_OVERFLOW_SIMPLE | 0 | env->cur_state->jmp_history_cnt |
kernel/bpf/verifier.c do_check_insn() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c do_check_insn() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c mark_stack_arg_precision() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| CAPPED_DATA | 0 | env->cur_state->acquired_refs | 1 |
| DATA_SOURCE | 0 | env | $0 |
kernel/bpf/verifier.c process_bpf_exit_full() -> cur_func()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| CAPPED_DATA | 0 | env->cur_state->curframe | 1 |
| CAPPED_DATA | 0 | env->prog->aux->btf->start_id | 1 |
| CAPPED_DATA | 0 | env->prog->len | 1 |
| DATA_SOURCE | 0 | env | $0 |