Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/syscall.c bpf_prog_load() -> bpf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 8045040584909426688 |
| PARAM_VALUE | 0 | *prog | 4096-ptr_max |
| PARAM_VALUE | 1 | attr | 4096-ptr_max |
| PARAM_VALUE | 1 | attr->attach_btf_id | 0-1048575 |
| PARAM_VALUE | 1 | attr->expected_attach_type | 0-58 |
| PARAM_VALUE | 1 | attr->insn_cnt | 1-1000000 |
| PARAM_VALUE | 1 | attr->prog_flags | 0-131070 |
| PARAM_VALUE | 1 | attr->prog_type | 3-4,6,8-16,18-19,21-23,25,28,32 |
| PARAM_VALUE | 1 | *attr->prog_name | 0 |
| CAPPED_DATA | 1 | attr->insn_cnt | 1 |
| CAPPED_DATA | 1 | attr->prog_ifindex | 1 |
| CAPPED_DATA | 1 | attr->prog_name | 1 |
| DATA_SOURCE | 1 | attr | $0 |
| DATA_SOURCE | 2 | uattr | $1 |
| DATA_SOURCE | 3 | attr_log | $2 |
| FUZZY_MAX | 1 | attr->insn_cnt | 1000000 |
| BIT_INFO | 1 | attr->prog_flags | 0x0,0x100ff |
| BIT_INFO | 2 | uattr | 0x0,0x0 |
| HARD_MAX | 1 | attr->insn_cnt | 1000000 |