Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_mem_access() -> get_func_retval_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->max_ctx_offset | 1-u32max |
| PARAM_VALUE | 1 | range | 6173611833212596224 |
kernel/bpf/verifier.c return_retval_range() -> get_func_retval_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->expected_attach_type | 0-42,44-u32max |
| PARAM_VALUE | 1 | range | 915973760194150400 |
| DATA_SOURCE | 1 | range | $1 |