Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
1 |
fh |
0 |
| PARAM_VALUE |
2 |
b |
4096-ptr_max |
| PARAM_VALUE |
2 |
b->type |
1-2,4-14 |
| BUF_SIZE |
2 |
b |
(-1),128-16383 |
| BUF_SIZE |
2 |
b |
(-1),128-16383 |
| DATA_SOURCE |
0 |
file |
$1 |
| DATA_SOURCE |
2 |
b |
$2 |
| USER_DATA |
2 |
b->bytesused |
0-u32max[u] |
| USER_DATA |
2 |
b->field |
0-u32max[u] |
| USER_DATA |
2 |
b->flags |
0-u32max[u] |
| USER_DATA |
2 |
b->index |
0-u32max[u] |
| USER_DATA |
2 |
b->length |
0-u32max[u] |
| USER_DATA |
2 |
b->m.fd |
s32min-s32max[u] |
| USER_DATA |
2 |
b->m.offset |
0-u32max[u] |
| USER_DATA |
2 |
b->m.userptr |
0-u64max[u] |
| USER_DATA |
2 |
b->memory |
0-u32max[u] |
| USER_DATA |
2 |
b->request_fd |
s32min-s32max[u] |
| USER_DATA |
2 |
b->reserved |
0-u32max[u] |
| USER_DATA |
2 |
b->reserved2 |
0-u32max[u] |
| USER_DATA |
2 |
b->sequence |
0-u32max[u] |
| USER_DATA |
2 |
b->timecode.flags |
0-u32max[u] |
| USER_DATA |
2 |
b->timecode.frames |
0-255[u] |
| USER_DATA |
2 |
b->timecode.hours |
0-255[u] |
| USER_DATA |
2 |
b->timecode.minutes |
0-255[u] |
| USER_DATA |
2 |
b->timecode.seconds |
0-255[u] |
| USER_DATA |
2 |
b->timecode.type |
0-u32max[u] |
| USER_DATA |
2 |
b->timestamp.tv_sec |
s64min-s64max[u] |
| USER_DATA |
2 |
b->timestamp.tv_usec |
s64min-s64max[u] |
| USER_DATA |
2 |
b->type |
1-2,4-14[u] |
| USER_PTR |
2 |
b |
|
| HALF_LOCKED2 |
|
lock |
|
| HALF_LOCKED2 |
|
req_queue_lock |
|
