Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/netronome/nfp/bpf/offload.c nfp_bpf_verifier_prep() -> nfp_prog_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nfp_prog | 4096-ptr_max |
| PARAM_VALUE | 0 | nfp_prog->insns.next | 4096-ptr_max |
| PARAM_VALUE | 0 | nfp_prog->insns.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | nfp_prog->insns.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nfp_prog->insns.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | nfp_prog->insns.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | nfp_prog | 128 |
| BUF_SIZE | 0 | nfp_prog->bpf | 8928 |
| DATA_SOURCE | 0 | nfp_prog | r _kzalloc_noprof |
| UNITS | 2 | cnt | unit_array_size |
| LOCK2 | global &bpf_devs_lock |