Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_release_device_early() -> vmw_cmdbuf_remove_pool()

Type Parameter Key Value
PARAM_VALUE 0 man 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_request_device() -> vmw_cmdbuf_remove_pool()

Type Parameter Key Value
PARAM_VALUE 0 man 4096-ptr_max
PARAM_VALUE 0 man->cmd_space->map.bo_kmap_type 2-3,129,132
PARAM_VALUE 0 man->cmd_space->placement.num_placement 1-5
PARAM_VALUE 0 man->cmd_space->tbo->ttm->ttm.backup->f_security (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 man->cmd_space->tbo->ttm->ttm.swap_storage->f_security (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 man->cmd_space->tbo.base._resv.lock.ww_class 8825623990767841280
PARAM_VALUE 0 man->cmd_space->tbo.base._resv.lock.ww_class->acquire_name 8230199826601394176
PARAM_VALUE 0 man->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die 1
PARAM_VALUE 0 man->cmd_space->tbo.base._resv.lock.ww_class->mutex_name 3691132625150517248
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs 6304708662516625408
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->close 4493682133572624384
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->free 5959864495673876480
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->get_sg_table 5854752747816759296
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->mmap 7631482562785378304
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->open 1917071461009981440
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->pin 5907164094082686976
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->print_info 9138211018234052608
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->unpin 1117158778977624064
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->vm_ops 3753214012899758080
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->vmap 4518654557315420160
PARAM_VALUE 0 man->cmd_space->tbo.base.funcs->vunmap 8281116965347872768
PARAM_VALUE 0 man->cmd_space->tbo.base.gpuva.lock.dep_map->name 0-255
PARAM_VALUE 0 man->cmd_space->tbo.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.base.resv->fences->num_fences 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.base.resv->lock.ww_class 8825623990767841280
PARAM_VALUE 0 man->cmd_space->tbo.base.vma_node.vm_lock.magic 3736018669
PARAM_VALUE 0 man->cmd_space->tbo.base.vma_node.vm_lock.owner (-1)
PARAM_VALUE 0 man->cmd_space->tbo.base.vma_node.vm_lock.owner_cpu 4294967295
PARAM_VALUE 0 man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 man->cmd_space->tbo.bdev->lru_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->cmd_space->tbo.bdev->pool.dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 man->cmd_space->tbo.priority 3
PARAM_VALUE 0 man->cmd_space->tbo.ttm->page_flags 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->alloced_page 0-s64max
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->alloced_page->_refcount.counter s32min-s32max
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->alloced_page->page_type 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->alloced_pages 0-s64max
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->first_dma 0-s64max
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->order 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->page_caching 0-4294967295
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->restored_pages 0-s64max
PARAM_VALUE 0 man->cmd_space->tbo.ttm->restore->snapshot_alloc.tt_caching 0-4294967295
PARAM_VALUE 0 man->cur->cb_context 0,63
PARAM_VALUE 0 man->cur->cb_header 0
PARAM_VALUE 0 man->cur->cb_header->dxContext 0-4294967294
PARAM_VALUE 0 man->cur->cb_header->flags 0,2-4294967295
PARAM_VALUE 0 man->cur->size 0,960
PARAM_VALUE 0 man->cur_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 man->cur_mutex.dep_map->name 0-255
PARAM_VALUE 0 man->cur_mutex.first_waiter 0
PARAM_VALUE 0 man->cur_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 man->cur_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 man->cur_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 man->cur_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 man->cur_mutex.owner.counter 0
PARAM_VALUE 0 man->default_size 960
PARAM_VALUE 0 man->dev_priv 4096-ptr_max
PARAM_VALUE 0 man->dev_priv->active_display_unit 1-3
PARAM_VALUE 0 man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 man->dev_priv->bdev.pool.dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 man->dev_priv->bdev.pool.dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 man->dev_priv->bdev.vma_manager->vm_lock.dep_map->name 0-255
PARAM_VALUE 0 man->dev_priv->bdev.vma_manager->vm_lock.owner (-1)
PARAM_VALUE 0 man->dev_priv->bdev.vma_manager->vm_lock.owner_cpu 4294967295
PARAM_VALUE 0 man->dev_priv->capabilities 16777216-4294967295
PARAM_VALUE 0 man->dev_priv->cmdbuf_waiters s32min-s32max
PARAM_VALUE 0 man->dev_priv->drm.dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 man->dev_priv->drm.dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 man->dev_priv->drm.dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 man->dev_priv->drm.dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->dev_priv->drm.dev->dma_uses_io_tlb 1
PARAM_VALUE 0 man->dev_priv->drm.dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 man->dev_priv->fifo s64min-(-4096),4096-s64max
PARAM_VALUE 0 man->dev_priv->fifo_mem s64min-(-4096),4096-s64max
PARAM_VALUE 0 man->dev_priv->fifo_mem_size 0-4294967295
PARAM_VALUE 0 man->dev_priv->fman s64min-(-4096),4096-s64max
PARAM_VALUE 0 man->dev_priv->hw_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->dev_priv->initial_height 800-4294967295
PARAM_VALUE 0 man->dev_priv->initial_width 1280-4294967295
PARAM_VALUE 0 man->dev_priv->irq_mask 0-4294967295
PARAM_VALUE 0 man->dev_priv->map_mode 0-2
PARAM_VALUE 0 man->dev_priv->max_mob_pages 0-1073741823
PARAM_VALUE 0 man->dev_priv->max_primary_mem 0-4294967295
PARAM_VALUE 0 man->dev_priv->num_irq_vectors 0-s32max
PARAM_VALUE 0 man->dev_priv->pci_id 0-1029,1031-u32max
PARAM_VALUE 0 man->dev_priv->sm_type 0-4
PARAM_VALUE 0 man->dev_priv->waiter_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->dheaders->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 man->dheaders->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 man->dheaders->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 man->dheaders->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 man->dheaders->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 man->dheaders->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 man->dheaders->dev->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 man->dheaders->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->error_mutex.dep_map->name 0-255
PARAM_VALUE 0 man->has_pool 1
PARAM_VALUE 0 man->headers->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 man->headers->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 man->headers->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 man->headers->dev->dma_io_tlb_mem->dyn_alloc.flags 0-4294967295
PARAM_VALUE 0 man->headers->dev->dma_io_tlb_mem->dyn_alloc.is_hard 0-1
PARAM_VALUE 0 man->headers->dev->dma_io_tlb_mem->dyn_alloc.is_lazy 0-1
PARAM_VALUE 0 man->headers->dev->dma_io_tlb_mem->dyn_alloc.is_queued 0-1
PARAM_VALUE 0 man->headers->dev->dma_io_tlb_mem->dyn_alloc.is_soft 0-1
PARAM_VALUE 0 man->headers->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 man->headers->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 man->headers->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 man->headers->dev->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 man->headers->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->irq_on 0-1
PARAM_VALUE 0 man->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 man->max_hw_submitted 31
PARAM_VALUE 0 man->mm.color_adjust 0
PARAM_VALUE 0 man->mm.head_node.flags 0
PARAM_VALUE 0 man->mm.head_node.hole_size 1
PARAM_VALUE 0 man->mm.head_node.rb_hole_size.__rb_parent_color 1
PARAM_VALUE 0 man->mm.head_node.start 256
PARAM_VALUE 0 man->mm.head_node.subtree_max_hole 1
PARAM_VALUE 0 man->mm.scan_active 0
PARAM_VALUE 0 man->num_contexts 1-2
PARAM_VALUE 0 man->size 1048576
PARAM_VALUE 0 man->space_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 man->space_mutex.dep_map->name 0-255
PARAM_VALUE 0 man->space_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 man->space_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 man->space_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 man->space_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 man->space_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 man->space_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 man->space_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 man->using_mob 0-1
PARAM_VALUE 0 man->work.lockdep_map->name 0-255
PARAM_VALUE 0 *man->cmd_space->tbo->resource->bus.addr 0-255
PARAM_VALUE 0 *man->cmd_space->tbo->ttm->mem->mem.object.client->object.priv->data (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *man->cmd_space->tbo->ttm->mem->mem.object.map.ptr (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *man->map 0-255
PARAM_VALUE 0 *man->space_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 man->dev_priv->capabilities 16777216-2147483646,2147483648-4294967295
HOST_DATA 0 man->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 man->dev_priv->config_done_state 0-4294967295
HOST_DATA 0 man->dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags 0,4-4294967295
HOST_DATA 0 man->dev_priv->enable_state 0-4294967295
HOST_DATA 0 man->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 man->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 man->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 man->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 man->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 man->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 man->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 man->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 man->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 man->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 man->dev_priv->memory_size 0-4294967295
HOST_DATA 0 man->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 man->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 man->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 man->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 man->dev_priv->traces_state 0-4294967295
HOST_DATA 0 man->dev_priv->vram_size 0-4294967295
NO_OVERFLOW_SIMPLE 0 man->cmd_space->tbo.base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 man->cmd_space->tbo.base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 man->cmd_space->tbo.base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 man->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 man->dev_priv->drm.num_crtcs