Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/platform/xilinx/xilinx-dma.c xvip_dma_init() -> xvip_dma_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 dma 4096-ptr_max
PARAM_VALUE 0 dma->dma 0,4096-u64max
PARAM_VALUE 0 dma->fmtinfo 4096-ptr_max
PARAM_VALUE 0 dma->format.colorspace 8
PARAM_VALUE 0 dma->format.field 1
PARAM_VALUE 0 dma->format.height 1080
PARAM_VALUE 0 dma->format.width 1920
PARAM_VALUE 0 dma->lock.dep_map->name 0-255
PARAM_VALUE 0 dma->lock.first_waiter 0
PARAM_VALUE 0 dma->lock.magic 4096-ptr_max
PARAM_VALUE 0 dma->lock.osq.tail.counter 0
PARAM_VALUE 0 dma->lock.owner.counter 0
PARAM_VALUE 0 dma->pad.flags 1-2
PARAM_VALUE 0 dma->pipe.lock.dep_map->name 0-255
PARAM_VALUE 0 dma->pipe.lock.first_waiter 0
PARAM_VALUE 0 dma->pipe.lock.magic 4096-ptr_max
PARAM_VALUE 0 dma->pipe.lock.osq.tail.counter 0
PARAM_VALUE 0 dma->pipe.lock.owner.counter 0
PARAM_VALUE 0 dma->queue.buf_ops 0,7349354608699604992
PARAM_VALUE 0 dma->queue.dev 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.dma_dir 0-2
PARAM_VALUE 0 dma->queue.done_list.next 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.done_list.prev 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.done_wq.head.next 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.done_wq.head.prev 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.drv_priv 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.io_modes 0,19
PARAM_VALUE 0 dma->queue.lock 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.max_num_buffers 0-32768
PARAM_VALUE 0 dma->queue.mem_ops 0,7126069751673204736
PARAM_VALUE 0 dma->queue.memory 0
PARAM_VALUE 0 dma->queue.mmap_lock.first_waiter 0
PARAM_VALUE 0 dma->queue.mmap_lock.magic 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.mmap_lock.osq.tail.counter 0
PARAM_VALUE 0 dma->queue.mmap_lock.owner.counter 0
PARAM_VALUE 0 dma->queue.ops 0,6569539544792268800
PARAM_VALUE 0 dma->queue.queued_list.next 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.queued_list.prev 0,4096-ptr_max
PARAM_VALUE 0 dma->queue.timestamp_flags 0,8192
PARAM_VALUE 0 dma->queue.type 0-2
PARAM_VALUE 0 dma->queued_bufs.next 4096-ptr_max
PARAM_VALUE 0 dma->queued_bufs.next->next 4096-ptr_max
PARAM_VALUE 0 dma->queued_bufs.prev 4096-ptr_max
PARAM_VALUE 0 dma->queued_bufs.prev->next 4096-ptr_max
PARAM_VALUE 0 dma->queued_bufs.prev->prev 4096-ptr_max
PARAM_VALUE 0 dma->video.cdev 0,4096-ptr_max
PARAM_VALUE 0 dma->video.dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dma->video.dev.init_name 0
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.node.node.next 0
PARAM_VALUE 0 dma->video.dev.kobj.release.timer.node.node.prev 0
PARAM_VALUE 0 dma->video.dev.p 0
PARAM_VALUE 0 dma->video.dev.physical_location 0,4096-ptr_max
PARAM_VALUE 0 dma->video.dev.pm_domain 0,4096-ptr_max
PARAM_VALUE 0 dma->video.dev.power.completion.done 0,u32max
PARAM_VALUE 0 dma->video.dev.power.driver_flags 0
PARAM_VALUE 0 dma->video.dev.power.in_dpm_list 0
PARAM_VALUE 0 dma->video.dev.power.irq_safe 0
PARAM_VALUE 0 dma->video.dev.power.subsys_data 0,4096-ptr_max
PARAM_VALUE 0 dma->video.dev.power.use_autosuspend 0
PARAM_VALUE 0 dma->video.dev.release 0
PARAM_VALUE 0 dma->video.device_caps 0,67108865-67108866
PARAM_VALUE 0 dma->video.entity.function 0
PARAM_VALUE 0 dma->video.entity.graph_obj.id 0
PARAM_VALUE 0 dma->video.entity.graph_obj.list.next 0
PARAM_VALUE 0 dma->video.entity.graph_obj.mdev->graph_mutex.dep_map->name 0-255
PARAM_VALUE 0 dma->video.entity.graph_obj.mdev->graph_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dma->video.entity.graph_obj.mdev->interfaces.prev 4096-ptr_max
PARAM_VALUE 0 dma->video.entity.info.dev.major 0
PARAM_VALUE 0 dma->video.entity.info.dev.minor 0
PARAM_VALUE 0 dma->video.entity.internal_idx 0
PARAM_VALUE 0 dma->video.entity.links.next 0
PARAM_VALUE 0 dma->video.entity.links.prev 0
PARAM_VALUE 0 dma->video.entity.num_backlinks 0
PARAM_VALUE 0 dma->video.entity.num_links 0
PARAM_VALUE 0 dma->video.entity.num_pads 1
PARAM_VALUE 0 dma->video.entity.obj_type 0
PARAM_VALUE 0 dma->video.entity.pads 4096-ptr_max
PARAM_VALUE 0 dma->video.entity.pads->entity 4096-ptr_max
PARAM_VALUE 0 dma->video.entity.pads->entity->num_pads 0-511
PARAM_VALUE 0 dma->video.entity.pads->entity->pads 4096-18446744073709547519
PARAM_VALUE 0 dma->video.entity.pads->index 0
PARAM_VALUE 0 dma->video.fh_list.next 0,4096-ptr_max
PARAM_VALUE 0 dma->video.fh_list.prev 0,4096-ptr_max
PARAM_VALUE 0 dma->video.fops 0,157897824509603840
PARAM_VALUE 0 dma->video.index 0-64
PARAM_VALUE 0 dma->video.intf_devnode 0
PARAM_VALUE 0 dma->video.ioctl_ops 0,5120536515829010432
PARAM_VALUE 0 dma->video.lock 0,4096-ptr_max
PARAM_VALUE 0 dma->video.minor (-1)-192,224-288
PARAM_VALUE 0 dma->video.name 0
PARAM_VALUE 0 dma->video.num 0-64
PARAM_VALUE 0 dma->video.prio 0,4096-ptr_max
PARAM_VALUE 0 dma->video.queue 0,4096-ptr_max
PARAM_VALUE 0 dma->video.release 0,823504710178533376
PARAM_VALUE 0 dma->video.v4l2_dev 0,4096-ptr_max
PARAM_VALUE 0 dma->video.vfl_dir 0-1
PARAM_VALUE 0 dma->video.vfl_type 0
PARAM_VALUE 0 dma->xdev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->dev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->dmas.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->dmas.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.dev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.entities.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.entities.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.entity_internal_idx.xa.xa_flags 33554437
PARAM_VALUE 0 dma->xdev->media_dev.entity_notify.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.entity_notify.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.graph_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.hw_revision 0
PARAM_VALUE 0 dma->xdev->media_dev.interfaces.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.interfaces.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.links.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.links.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.pads.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.pads.prev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.req_queue_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dma->xdev->media_dev.request_id.counter 0
PARAM_VALUE 0 dma->xdev->v4l2_dev.dev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->v4l2_dev.mdev 4096-ptr_max
PARAM_VALUE 0 dma->xdev->v4l2_dev.ref.refcount.refs.counter 1
PARAM_VALUE 0 dma->xdev->v4l2_dev.subdevs.next 4096-ptr_max
PARAM_VALUE 0 dma->xdev->v4l2_dev.subdevs.prev 4096-ptr_max
BUF_SIZE 0 dma 3432
BUF_SIZE 0 dma->fmtinfo (-1),288
BUF_SIZE 0 dma->queue.drv_priv (-1),3432
BUF_SIZE 0 dma->queue.lock (-1),152
BUF_SIZE 0 dma->queue.mem_ops (-1),120
BUF_SIZE 0 dma->queue.ops (-1),96
BUF_SIZE 0 dma->video.fops (-1),80
BUF_SIZE 0 dma->video.ioctl_ops (-1),960
BUF_SIZE 0 dma->video.lock (-1),152
BUF_SIZE 0 dma->video.queue (-1),632
BUF_SIZE 0 dma->video.v4l2_dev (-1),192
DATA_SOURCE 0 dma $1
FUZZY_MAX 0 dma->pad.flags 2
FUZZY_MAX 0 dma->queue.dma_dir 0
FUZZY_MAX 0 dma->queue.io_modes 19
FUZZY_MAX 0 dma->queue.max_num_buffers 0
FUZZY_MAX 0 dma->queue.timestamp_flags 8192
FUZZY_MAX 0 dma->queue.type 0
FUZZY_MAX 0 dma->video.dev.dma_io_tlb_mem->debugfs 0
FUZZY_MAX 0 dma->video.dev.kobj.release.timer.is_hard 0
FUZZY_MAX 0 dma->video.dev.kobj.release.timer.is_lazy 0
FUZZY_MAX 0 dma->video.dev.kobj.release.timer.is_queued 0
FUZZY_MAX 0 dma->video.dev.kobj.release.timer.is_soft 0
FUZZY_MAX 0 dma->video.dev.power.completion.done 0
FUZZY_MAX 0 dma->video.device_caps 0
FUZZY_MAX 0 dma->video.index 0
FUZZY_MAX 0 dma->video.num 0
FUZZY_MAX 0 dma->video.vfl_dir 1
STR_LEN 0 dma->video.name (-1),63
HARD_MAX 0 dma->pad.flags 2
HARD_MAX 0 dma->queue.io_modes 19
HARD_MAX 0 dma->queue.timestamp_flags 8192
HARD_MAX 0 dma->video.vfl_dir 1
MEM_ZERO 0 dma
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dma->video.name

drivers/media/platform/xilinx/xilinx-vipp.c xvip_graph_cleanup() -> xvip_dma_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 dma 4096-ptr_max
PARAM_VALUE 0 dma->dma->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dma->video.dev.power.wakeirq->status 0-4294967295
CAPPED_DATA 0 &dma->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex