Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> vmw_vram_manager_init()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.alloc_flags 0,256
PARAM_VALUE 0 dev_priv->bdev.device_list.next 8627146840200146952
PARAM_VALUE 0 dev_priv->bdev.funcs 4484982198590341120
PARAM_VALUE 0 dev_priv->bdev.funcs->access_memory 0,1017633713053646848,3225919106585391104,6129073923208413184
PARAM_VALUE 0 dev_priv->bdev.funcs->delete_mem_notify 0,1324054607772385280,3362702293586616320,3508674538459328512,4046619066990776320,4672322443624128512,6012858452504408064
PARAM_VALUE 0 dev_priv->bdev.funcs->evict_flags 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.funcs->eviction_valuable 0,1858549247423643648,2081513394135252992,4678632391305342976,8260624757114155008
PARAM_VALUE 0 dev_priv->bdev.funcs->io_mem_free 0,2194093600872873984
PARAM_VALUE 0 dev_priv->bdev.funcs->io_mem_pfn 0,2706132887046717440,3654902622055292928,7331281985970253824
PARAM_VALUE 0 dev_priv->bdev.funcs->io_mem_reserve 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.funcs->move 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.funcs->release_notify 0,6700952100510887936,8497440169773187072
PARAM_VALUE 0 dev_priv->bdev.funcs->swap_notify 0,444935274221056000,3637901885053157376,5073818069448499200
PARAM_VALUE 0 dev_priv->bdev.funcs->ttm_tt_create 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.funcs->ttm_tt_destroy 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.funcs->ttm_tt_populate 0,222258046416863232,3994591000577544192,4134842942852018176,4222010675217444864,4805071350855475200,7664591298186248192,8057603946702434304
PARAM_VALUE 0 dev_priv->bdev.funcs->ttm_tt_unpopulate 0,4666166901115146240,5282055296047239168,6183271797138042880,6595337069447958528,7578260243328782336,7595606228058984448,7854353412451688448
PARAM_VALUE 0 dev_priv->bdev.pool.alloc_flags 0,256
PARAM_VALUE 0 dev_priv->bdev.pool.dev 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.sysman.func 8470644571397554176
PARAM_VALUE 0 dev_priv->bdev.sysman.func->alloc 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.sysman.func->compatible 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.sysman.func->debug 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.sysman.func->free 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.sysman.func->intersects 0,277556496761421824,351631188507971584,1562901022217814016,3048074332517179392,6329539114600038400,7579390472687497216
PARAM_VALUE 0 dev_priv->bdev.sysman.size 0
PARAM_VALUE 0 dev_priv->bdev.sysman.usage 0
PARAM_VALUE 0 dev_priv->bdev.sysman.use_tt 1
PARAM_VALUE 0 dev_priv->bdev.sysman.use_type 1
PARAM_VALUE 0 dev_priv->bdev.unevictable.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.unevictable.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.unevictable.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.unevictable.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.unevictable.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->bdev.vma_manager 1-u64max
PARAM_VALUE 0 dev_priv->bdev.wq 4096-ptr_max
PARAM_VALUE 0 dev_priv->binding_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter 0
PARAM_VALUE 0 dev_priv->binding_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev_priv->binding_mutex.owner.counter 0
PARAM_VALUE 0 dev_priv->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter 0
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.owner.counter 0
PARAM_VALUE 0 dev_priv->crc_workq 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_ht 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.anon_inode 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev->dma_parms 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.dev->dma_parms->max_segment_size u32max
PARAM_VALUE 0 dev_priv->drm.managed.resources.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.managed.resources.next->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->drm.num_crtcs 8
PARAM_VALUE 0 dev_priv->drm.vma_offset_manager 1-u64max
PARAM_VALUE 0 dev_priv->fence_queue.head.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fence_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fence_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->fence_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fence_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->fence_queue_waiters 0
PARAM_VALUE 0 dev_priv->fifo_mem 1-ptr_max
PARAM_VALUE 0 dev_priv->fifo_mem_size 0-u32max
PARAM_VALUE 0 dev_priv->fifo_queue.head.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fifo_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fifo_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->fifo_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->fifo_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->fifo_queue_waiters 0
PARAM_VALUE 0 dev_priv->fman 4096-ptr_max
PARAM_VALUE 0 dev_priv->fman->dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->fman->dev_priv->binding_mutex.magic s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->cmdbuf_mutex.magic s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->drm.dev s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fence_queue.head.next s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fence_queue.head.prev s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fifo_mem s64min-(-4096),1-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fifo_mem_size 0-u32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fifo_queue.head.next s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->fifo_queue.head.prev s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->initial_height 800-u32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->initial_width 1280-u32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->map_mode 0-2
PARAM_VALUE 0 dev_priv->fman->dev_priv->max_mob_pages 0-1073741823
PARAM_VALUE 0 dev_priv->fman->dev_priv->max_primary_mem 0-u32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->num_irq_vectors 0-s32max
PARAM_VALUE 0 dev_priv->fman->dev_priv->pci_id 1029-1030
PARAM_VALUE 0 dev_priv->fman->dev_priv->rmmio s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->tdev s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->fman->dev_priv->vram_size 0-u32max
PARAM_VALUE 0 dev_priv->fman->fifo_down 1
PARAM_VALUE 0 dev_priv->hw_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->initial_height 800-u32max
PARAM_VALUE 0 dev_priv->initial_width 1280-u32max
PARAM_VALUE 0 dev_priv->map_mode 0-2
PARAM_VALUE 0 dev_priv->max_mob_pages 0-1073741823
PARAM_VALUE 0 dev_priv->max_primary_mem 0-u32max
PARAM_VALUE 0 dev_priv->num_irq_vectors 0-s32max
PARAM_VALUE 0 dev_priv->pci_id 1029-1030
PARAM_VALUE 0 dev_priv->res_idr 4096-ptr_max
PARAM_VALUE 0 dev_priv->res_lru 4096-ptr_max
PARAM_VALUE 0 dev_priv->rmmio 4096-ptr_max
PARAM_VALUE 0 dev_priv->tdev 4096-ptr_max
PARAM_VALUE 0 dev_priv->tdev->idr.idr_base 53033
PARAM_VALUE 0 dev_priv->tdev->idr.idr_next 0
PARAM_VALUE 0 dev_priv->tdev->idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 dev_priv->tdev->idr.idr_rt.xa_head 0
PARAM_VALUE 0 dev_priv->tdev->ops.release 1549958572084727808
PARAM_VALUE 0 dev_priv->used_memory_size 0
PARAM_VALUE 0 dev_priv->vram_size 0-u32max
PARAM_VALUE 0 *dev_priv->irqs 0-4294967295
BUF_SIZE 0 dev_priv->fman 112
BUF_SIZE 0 dev_priv->tdev 272
CAPPED_DATA 0 dev_priv->fb_max_width 1
CAPPED_DATA 0 dev_priv->fman->dev_priv->fb_max_width 1
DATA_SOURCE 0 dev_priv $0
FUZZY_MAX 0 dev_priv->bdev.alloc_flags 256
FUZZY_MAX 0 dev_priv->bdev.pool.alloc_flags 256
FUZZY_MAX 0 dev_priv->max_mob_pages 0
BIT_INFO 0 dev_priv->fman->dev_priv->num_irq_vectors 0x0,0xffffffff
HARD_MAX 0 dev_priv->bdev.alloc_flags 256
HARD_MAX 0 dev_priv->bdev.pool.alloc_flags 256
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev_priv->capabilities 32768-2147483646,2147483648-u32max
HOST_DATA 0 dev_priv->capabilities2 0-u32max
HOST_DATA 0 dev_priv->fb_max_height 0-u32max
HOST_DATA 0 dev_priv->fb_max_width 0-u32max[c]
HOST_DATA 0 dev_priv->fifo_mem_size 0-u32max
HOST_DATA 0 dev_priv->fman->dev_priv->capabilities 32768-2147483646,2147483648-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 dev_priv->fman->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 dev_priv->fman->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 dev_priv->fman->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 dev_priv->fman->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->memory_size 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 dev_priv->fman->dev_priv->vram_size 0-4294967295
HOST_DATA 0 dev_priv->initial_height 801-u32max[c]
HOST_DATA 0 dev_priv->initial_width 1281-u32max[c]
HOST_DATA 0 dev_priv->max_gmr_ids 0-u32max
HOST_DATA 0 dev_priv->max_gmr_pages 0-u32max
HOST_DATA 0 dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 dev_priv->max_mob_size 0-u32max
HOST_DATA 0 dev_priv->max_primary_mem 0-u32max
HOST_DATA 0 dev_priv->memory_size 0-u32max
HOST_DATA 0 dev_priv->stdu_max_height 0-u32max
HOST_DATA 0 dev_priv->stdu_max_width 0-u32max
HOST_DATA 0 dev_priv->texture_max_height 0-u32max
HOST_DATA 0 dev_priv->texture_max_width 0-u32max
HOST_DATA 0 dev_priv->vram_size 0-u32max
NO_OVERFLOW_SIMPLE 0 dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 dev_priv->fman->dev_priv->drm.num_crtcs