Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/videobuf2/videobuf2-core.c vb2_core_create_bufs() -> verify_coherency_flags()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->bufs_bitmap 1-u64max
PARAM_VALUE 0 q->fileio 0
PARAM_VALUE 0 q->mem_ops->alloc 0,4096-ptr_max
PARAM_VALUE 0 q->mem_ops->mmap 0,4096-ptr_max
PARAM_VALUE 0 q->mem_ops->put 0,4096-ptr_max
PARAM_VALUE 0 q->memory 1-2,4
PARAM_VALUE 0 q->type 1-2,4-14
BUF_SIZE 0 q (-1),632
BUF_SIZE 0 q (-1),632
CAPPED_DATA 0 q->memory 1
CAPPED_DATA 0 q->type 1
DATA_SOURCE 0 q $0
USER_DATA 1 non_coherent_mem 0-1[c]
HALF_LOCKED2 &video->queue_lock
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/common/videobuf2/videobuf2-core.c vb2_core_reqbufs() -> verify_coherency_flags()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->memory 0-2,4
PARAM_VALUE 0 q->streaming 0
PARAM_VALUE 0 q->waiting_in_dqbuf 0
BUF_SIZE 0 q (-1),632
BUF_SIZE 0 q (-1),632
BUF_SIZE 0 q->fileio (-1),808
BUF_SIZE 0 q->owner s32min-(-1),1-s32max
CAPPED_DATA 0 q->memory 1
DATA_SOURCE 0 q $0
STR_LEN 0 q->drv_priv (-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 q->memory 1-2,4[c][u]
USER_DATA 1 non_coherent_mem 0-1[c]
NO_OVERFLOW_SIMPLE 0 q->max_num_buffers
HALF_LOCKED2 &dmxdev->mutex