Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/nvidia/tegra-vde/v4l2.c tegra_buf_cleanup() -> __tegra_buf_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->planes 4096-ptr_max
PARAM_VALUE 0 vb->vb2_queue 4096-ptr_max
PARAM_VALUE 0 vb->vb2_queue->ops 4096-ptr_max
PARAM_VALUE 0 vb->vb2_queue->ops->buf_cleanup 4096-ptr_max
DATA_SOURCE 0 vb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 i unit_page
HALF_LOCKED2 &q->mmap_lock
HALF_LOCKED2 0 vb->vb2_queue->lock

drivers/media/platform/nvidia/tegra-vde/v4l2.c tegra_buf_init() -> __tegra_buf_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->num_planes 1-u32max
PARAM_VALUE 0 vb->state 0,2
PARAM_VALUE 0 vb->vb2_queue 4096-ptr_max
PARAM_VALUE 0 vb->vb2_queue->ops 4096-ptr_max
PARAM_VALUE 0 vb->vb2_queue->ops->buf_init 4096-ptr_max
BUF_SIZE 0 vb (-1)-s32max
BUF_SIZE 0 vb (-1)-s32max
CAPPED_DATA 0 vb->num_planes 1
CAPPED_DATA 1 i 1
DATA_SOURCE 0 vb $0
PARAM_COMPARE 1 i < $0->num_planes
NOSPEC 0 vb->num_planes
NOSPEC 0 vb->vb2_queue->memory
HARD_MAX 0 vb->state 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vb->index 0-s32max[c]
USER_DATA 0 vb->memory 1[c][u]
USER_DATA 0 vb->num_planes 1-8[c]
USER_DATA 0 vb->vb2_queue->memory 1-2,4[c][u]
USER_DATA 0 vb->vb2_queue->non_coherent_mem 0-1[c]
NO_OVERFLOW_SIMPLE 0 vb->vb2_queue->max_num_buffers
UNITS 1 i unit_page
HALF_LOCKED2 0 vb->vb2_queue->lock