Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/common/videobuf2/videobuf2-core.c vb2_verify_memory_type() -> __verify_userptr_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| BUF_SIZE | 0 | q | (-1),632 |
| BUF_SIZE | 0 | q | (-1),632 |
| CAPPED_DATA | 0 | q->type | 1 |
| DATA_SOURCE | 0 | q | $0 |
| USER_DATA | 0 | q->memory | 1-2,4[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | q->max_num_buffers | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |