Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/common/videobuf2/videobuf2-v4l2.c __verify_planes_array_core() -> __verify_planes_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vb | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1-u64max |
| BUF_SIZE | 1 | b | (-1),128-16383 |
| DATA_SOURCE | 0 | vb | $0 |
| DATA_SOURCE | 1 | b | $1 |
| USER_DATA | 1 | b->bytesused | 0-u32max[u] |
| USER_DATA | 1 | b->field | 0-u32max[u] |
| USER_DATA | 1 | b->flags | 0-u32max[u] |
| USER_DATA | 1 | b->index | 0-u32max[u] |
| USER_DATA | 1 | b->length | 0-u32max[u] |
| USER_DATA | 1 | b->m.fd | s32min-s32max[u] |
| USER_DATA | 1 | b->m.offset | 0-u32max[u] |
| USER_DATA | 1 | b->m.userptr | 0-u64max[u] |
| USER_DATA | 1 | b->memory | 0-u32max[u] |
| USER_DATA | 1 | b->request_fd | s32min-s32max[u] |
| USER_DATA | 1 | b->reserved | 0-u32max[u] |
| USER_DATA | 1 | b->reserved2 | 0-u32max[u] |
| USER_DATA | 1 | b->sequence | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.flags | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.frames | 0-255[u] |
| USER_DATA | 1 | b->timecode.hours | 0-255[u] |
| USER_DATA | 1 | b->timecode.minutes | 0-255[u] |
| USER_DATA | 1 | b->timecode.seconds | 0-255[u] |
| USER_DATA | 1 | b->timecode.type | 0-u32max[u] |
| USER_DATA | 1 | b->timestamp.tv_sec | s64min-s64max[u] |
| USER_DATA | 1 | b->timestamp.tv_usec | s64min-s64max[u] |
| USER_DATA | 1 | b->type | 0-u32max[u] |
| USER_PTR | 1 | b | |
| LOCK2 | &q->done_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | q->lock | ||
| TYPE_LOCK | (struct vb2_queue)->done_lock |
drivers/media/common/videobuf2/videobuf2-v4l2.c vb2_querybuf() -> __verify_planes_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vb | 1-u64max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 1 | b->index | 0-4294967294 |
| PARAM_VALUE | 1 | b->type | 1-14 |
| BUF_SIZE | 1 | b | (-1),128-16383 |
| BUF_SIZE | 1 | b | (-1),128-16383 |
| CAPPED_DATA | 1 | b->index | 1 |
| CAPPED_DATA | 1 | b->type | 1 |
| DATA_SOURCE | 0 | vb | r vb2_get_buffer |
| DATA_SOURCE | 1 | b | $1 |
| USER_DATA | 1 | b->bytesused | 0-u32max[u] |
| USER_DATA | 1 | b->field | 0-u32max[u] |
| USER_DATA | 1 | b->flags | 0-u32max[u] |
| USER_DATA | 1 | b->index | 0-4294967294[c] |
| USER_DATA | 1 | b->length | 0-u32max[u] |
| USER_DATA | 1 | b->m.fd | s32min-s32max[u] |
| USER_DATA | 1 | b->m.offset | 0-u32max[u] |
| USER_DATA | 1 | b->m.userptr | 0-u64max[u] |
| USER_DATA | 1 | b->memory | 0-u32max[u] |
| USER_DATA | 1 | b->request_fd | s32min-s32max[u] |
| USER_DATA | 1 | b->reserved | 0-u32max[u] |
| USER_DATA | 1 | b->reserved2 | 0-u32max[u] |
| USER_DATA | 1 | b->sequence | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.flags | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.frames | 0-255[u] |
| USER_DATA | 1 | b->timecode.hours | 0-255[u] |
| USER_DATA | 1 | b->timecode.minutes | 0-255[u] |
| USER_DATA | 1 | b->timecode.seconds | 0-255[u] |
| USER_DATA | 1 | b->timecode.type | 0-u32max[u] |
| USER_DATA | 1 | b->timestamp.tv_sec | s64min-s64max[u] |
| USER_DATA | 1 | b->timestamp.tv_usec | s64min-s64max[u] |
| USER_PTR | 1 | b | |
| HALF_LOCKED2 | &video->queue_lock | ||
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/common/videobuf2/videobuf2-v4l2.c vb2_queue_or_prepare_buf() -> __verify_planes_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vb | 1-u64max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 1 | b->index | 0-4294967294 |
| PARAM_VALUE | 1 | b->type | 1-14 |
| BUF_SIZE | 1 | b | (-1),128-16383 |
| BUF_SIZE | 1 | b | (-1),128-16383 |
| CAPPED_DATA | 1 | b->index | 1 |
| CAPPED_DATA | 1 | b->memory | 1 |
| CAPPED_DATA | 1 | b->type | 1 |
| DATA_SOURCE | 0 | vb | $2 |
| DATA_SOURCE | 1 | b | $3 |
| USER_DATA | 1 | b->bytesused | 0-u32max[u] |
| USER_DATA | 1 | b->field | 0-u32max[u] |
| USER_DATA | 1 | b->flags | 0-u32max[u] |
| USER_DATA | 1 | b->index | 0-4294967294[c] |
| USER_DATA | 1 | b->length | 0-u32max[u] |
| USER_DATA | 1 | b->m.fd | s32min-s32max[u] |
| USER_DATA | 1 | b->m.offset | 0-u32max[u] |
| USER_DATA | 1 | b->m.userptr | 0-u64max[u] |
| USER_DATA | 1 | b->request_fd | s32min-s32max[u] |
| USER_DATA | 1 | b->reserved | 0-u32max[u] |
| USER_DATA | 1 | b->reserved2 | 0-u32max[u] |
| USER_DATA | 1 | b->sequence | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.flags | 0-u32max[u] |
| USER_DATA | 1 | b->timecode.frames | 0-255[u] |
| USER_DATA | 1 | b->timecode.hours | 0-255[u] |
| USER_DATA | 1 | b->timecode.minutes | 0-255[u] |
| USER_DATA | 1 | b->timecode.seconds | 0-255[u] |
| USER_DATA | 1 | b->timecode.type | 0-u32max[u] |
| USER_DATA | 1 | b->timestamp.tv_sec | s64min-s64max[u] |
| USER_DATA | 1 | b->timestamp.tv_usec | s64min-s64max[u] |
| USER_PTR | 1 | b | |
| HALF_LOCKED2 | &video->queue_lock | ||
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |