Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/states.c unbound_reg_init() -> bpf_mark_reg_unknown_imprecise()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 2036141292916727808 |
| NOCHECK_CALL |
kernel/bpf/verifier.c __mark_reg_unknown() -> bpf_mark_reg_unknown_imprecise()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | reg | (-1),80,480,560,640,880 |
| BUF_SIZE | 0 | reg | (-1),80,480,560,640,880 |
| DATA_SOURCE | 0 | reg | $1 |
| NOCHECK_CALL |