Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/ti/vpe/vip.c vip_irq() -> vip_schedule_next_buffer()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->list_num 0-7
PARAM_VALUE 0 stream->port 4096-ptr_max
PARAM_VALUE 0 stream->port->dev 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->slice_id 0-1
BUF_SIZE 0 stream 2952
CAPPED_DATA 0 stream->list_num 1
DATA_SOURCE 0 stream r vpdma_hwlist_get_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/media/platform/ti/vpe/vip.c vip_overflow_recovery_work() -> vip_schedule_next_buffer()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->desc_list.next->client_attr0 0
PARAM_VALUE 0 stream->desc_list.next->client_attr1 0
PARAM_VALUE 0 stream->desc_list.next->desc_write_addr 0
PARAM_VALUE 0 stream->desc_list.next->max_width_height 0-63
PARAM_VALUE 0 stream->desc_list.next->pkt_ctl 0-s32max
PARAM_VALUE 0 stream->desc_list.next->start_h_v 0-63
PARAM_VALUE 0 stream->desc_list.next->type_ctl_stride 0-s32max
PARAM_VALUE 0 stream->desc_list.next->w1 0
PARAM_VALUE 0 stream->num_recovery s32min-4
PARAM_VALUE 0 stream->port 4096-ptr_max
PARAM_VALUE 0 stream->port->dev 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->base 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->parser 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->parser->base 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->sc 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->shared 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->shared->vpdma 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->shared->vpdma->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stream->port->dev->slice_id 0-1
PARAM_VALUE 0 stream->port->dev->slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stream->port->fmt 4096-ptr_max
PARAM_VALUE 0 stream->port->fmt->finfo->pixel_enc 1-3
PARAM_VALUE 0 *stream->vpdma_channels s32min-s32max
PARAM_VALUE 0 *stream->vpdma_channels_to_abort 0-255
FUZZY_MAX 0 stream->num_recovery 4
HARD_MAX 0 stream->num_recovery 4
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/platform/ti/vpe/vip.c vip_start_streaming() -> vip_schedule_next_buffer()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->desc_list.next->client_attr0 0
PARAM_VALUE 0 stream->desc_list.next->client_attr1 0
PARAM_VALUE 0 stream->desc_list.next->desc_write_addr 0
PARAM_VALUE 0 stream->desc_list.next->max_width_height 0-63
PARAM_VALUE 0 stream->desc_list.next->pkt_ctl 0-s32max
PARAM_VALUE 0 stream->desc_list.next->start_h_v 0-63
PARAM_VALUE 0 stream->desc_list.next->type_ctl_stride 0-s32max
PARAM_VALUE 0 stream->desc_list.next->w1 0
PARAM_VALUE 0 stream->field 2
PARAM_VALUE 0 stream->num_recovery 0
PARAM_VALUE 0 stream->port 4096-ptr_max
PARAM_VALUE 0 stream->port->dev 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->parser 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->parser->base 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->sc 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->shared 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->shared->vpdma 4096-ptr_max
PARAM_VALUE 0 stream->port->dev->slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stream->port->dev->syscon->syscon_pol->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 stream->port->dev->syscon->syscon_pol->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 stream->port->dev->syscon->syscon_pol->cache_dirty 0-1
PARAM_VALUE 0 stream->port->endpoint.bus.parallel.bus_width 8,16,24
PARAM_VALUE 0 stream->port->endpoint.bus_type 1-2
PARAM_VALUE 0 stream->port->fmt 4096-ptr_max
PARAM_VALUE 0 stream->port->fmt->finfo->pixel_enc 1-3
PARAM_VALUE 0 stream->post_bufs.prev 4096-ptr_max
PARAM_VALUE 0 stream->post_bufs.prev->next 4096-ptr_max
PARAM_VALUE 0 stream->post_bufs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 stream->recovery_work.entry.next 1-u64max
PARAM_VALUE 0 stream->recovery_work.entry.next->next 1-u64max
PARAM_VALUE 0 stream->recovery_work.entry.prev 1-u64max
PARAM_VALUE 0 stream->recovery_work.entry.prev->next 1-u64max
PARAM_VALUE 0 stream->recovery_work.entry.prev->prev 1-u64max
PARAM_VALUE 0 stream->sequence 0
PARAM_VALUE 0 *stream->vpdma_channels s32min-s32max
BUF_SIZE 0 stream s32min-(-2),1-s32max
BUF_SIZE 0 stream s32min-(-2),1-s32max
PARAM_COMPARE 0 &stream->vidq != $0->vidq.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 vq->lock