Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/netup_unidvb/netup_unidvb_core.c netup_unidvb_dma_worker() -> netup_unidvb_ring_copy()

Type Parameter Key Value
PARAM_VALUE 0 dma 4096-ptr_max
PARAM_VALUE 0 dma->data_size 1-u32max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->size 0-24063
CAPPED_DATA 0 &dma->free_buffers 1
PARAM_COMPARE 0 &dma->free_buffers != $0->free_buffers.next
HARD_MAX 1 buf->size 24063
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &dma->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct netup_dma)->lock