Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/common/videobuf2/videobuf2-core.c __vb2_queue_free() -> __vb2_free_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->mmap_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | q->mmap_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | q->mmap_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | q->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | q->mmap_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | q->mmap_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | q->mmap_lock.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | q | (-1),632 |
| BUF_SIZE | 0 | q | (-1),632 |
| BUF_SIZE | 0 | q->dev | (-1),1616 |
| BUF_SIZE | 0 | q->drv_priv | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| BUF_SIZE | 0 | q->fileio | (-1),808 |
| BUF_SIZE | 0 | q->lock | (-1),152 |
| BUF_SIZE | 0 | q->mem_ops | (-1),120 |
| BUF_SIZE | 0 | q->ops | (-1),96 |
| BUF_SIZE | 0 | q->owner | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | q->threadio | (-1),32 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 0 | q | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | count | $2 |
| STR_LEN | 0 | q->drv_priv | (-1),5-9,12 |
| NOSPEC | 0 | q->memory | |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | count | |
| NOSPEC | 2 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | q->memory | 1-2,4[c][u] |
| USER_DATA | 0 | q->non_coherent_mem | 0-1[c] |
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | count | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | q->max_num_buffers | |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| NO_OVERFLOW_SIMPLE | 2 | count | |
| UNITS | 1 | start | unit_array_size |
| UNITS | 2 | count | unit_array_size |
| LOCK2 | 0 | &q->mmap_lock | |
| TYPE_LOCK | (struct vb2_queue)->mmap_lock |