Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/fixups.c bpf_opt_hard_wire_dead_code_branches() -> bpf_prog_offload_replace_insn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->offload_requested | 1 |
| PARAM_VALUE | 1 | off | 0-2147483646 |
| PARAM_VALUE | 2 | insn | 7087740974321303552 |
| CAPPED_DATA | 1 | off | 1 |
| DATA_SOURCE | 0 | env | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | off | unit_array_size |