Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
len |
(-10)-3071 |
| USER_DATA |
0 |
*ptr |
0-255 |
| USER_DATA |
1 |
len |
(-9)-3071 |
| Type |
Parameter |
Key |
Value |
| USER_DATA |
0 |
ptr |
4096-ptr_max[u] |
| USER_DATA |
0 |
*ptr |
0-255 |
| USER_DATA |
1 |
len |
s32min-s32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
len |
1-3071 |
| USER_DATA |
0 |
ptr |
4096-ptr_max[c][u] |
| USER_DATA |
0 |
*ptr |
0-255 |
| USER_DATA |
1 |
len |
1-3071 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
len |
1-s32max |
| USER_DATA |
0 |
ptr |
4096-ptr_max[u] |
| USER_DATA |
0 |
*ptr |
0-255 |
| USER_DATA |
1 |
len |
1-s32max |