Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
c |
8790770272068005888 |
| PARAM_VALUE |
0 |
c->controls |
5404741457522098176 |
| PARAM_VALUE |
0 |
c->count |
1 |
| PARAM_VALUE |
0 |
c->which |
0,65536-268369920 |
| PARAM_VALUE |
1 |
ioctl |
3221771803 |
| USER_DATA |
0 |
c->which |
0,65536-268369920[c] |
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
c |
4096-ptr_max |
| PARAM_VALUE |
1 |
ioctl |
3223344711 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| DATA_SOURCE |
0 |
c |
$2 |
| USER_DATA |
0 |
c->count |
0-u32max[u] |
| USER_DATA |
0 |
c->error_idx |
0-u32max[u] |
| USER_DATA |
0 |
c->request_fd |
s32min-s32max[u] |
| USER_DATA |
0 |
c->which |
0-u32max[u] |
| USER_PTR |
0 |
c |
|
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
c |
4368066444851146752 |
| PARAM_VALUE |
0 |
c->controls |
1616679714245345280 |
| PARAM_VALUE |
0 |
c->count |
1 |
| PARAM_VALUE |
0 |
c->which |
0,65536-268369920 |
| PARAM_VALUE |
1 |
ioctl |
3221771804 |
| USER_DATA |
0 |
c->which |
0,65536-268369920[c] |
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
c |
4096-ptr_max |
| PARAM_VALUE |
1 |
ioctl |
3223344712 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| DATA_SOURCE |
0 |
c |
$2 |
| USER_DATA |
0 |
c->count |
0-u32max[u] |
| USER_DATA |
0 |
c->error_idx |
0-u32max[u] |
| USER_DATA |
0 |
c->request_fd |
s32min-s32max[u] |
| USER_DATA |
0 |
c->which |
0-u32max[u] |
| USER_PTR |
0 |
c |
|
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
c |
4096-ptr_max |
| PARAM_VALUE |
1 |
ioctl |
3223344713 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| BUF_SIZE |
0 |
c |
(-1),128-16383 |
| DATA_SOURCE |
0 |
c |
$2 |
| USER_DATA |
0 |
c->count |
0-u32max[u] |
| USER_DATA |
0 |
c->error_idx |
0-u32max[u] |
| USER_DATA |
0 |
c->request_fd |
s32min-s32max[u] |
| USER_DATA |
0 |
c->which |
0-u32max[u] |
| USER_PTR |
0 |
c |
|
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|