Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_map_prog_compatibility() -> bpf_offload_prog_map_match()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | *prog->digest | 0-255 |
| PARAM_VALUE | 1 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | map->record | 0,4096-u64max |
| BUF_SIZE | 1 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | map | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | prog | $2 |
| DATA_SOURCE | 1 | map | $1 |