Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_mob.c vmw_setup_otable_base() -> vmw_mob_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mob 4096-ptr_max
PARAM_VALUE 0 mob->num_pages 0-4503599627370495
PARAM_VALUE 0 mob->pt_bo 0,4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->placement.num_placement 1-5
PARAM_VALUE 0 mob->pt_bo->tbo.base._resv.lock.ww_class 8825623990767841280
PARAM_VALUE 0 mob->pt_bo->tbo.base.funcs 6304708662516625408
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->lock.base.first_waiter->task->blocked_on 0
PARAM_VALUE 0 mob->pt_bo->tbo.base.resv->lock.ctx 0
PARAM_VALUE 0 mob->pt_bo->tbo.base.vma_node.vm_lock.magic 3736018669
PARAM_VALUE 0 mob->pt_bo->tbo.base.vma_node.vm_lock.owner (-1)
PARAM_VALUE 0 mob->pt_bo->tbo.base.vma_node.vm_lock.owner_cpu u32max
PARAM_VALUE 0 mob->pt_bo->tbo.bdev 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.bdev->lru_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mob->pt_bo->tbo.priority 3
PARAM_VALUE 0 mob->pt_bo->tbo.resource->bo->bdev->unevictable.prev 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.resource->bo->bdev->unevictable.prev->next 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.resource->bo->bdev->unevictable.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.resource->bo->pin_count 0
PARAM_VALUE 0 mob->pt_bo->tbo.resource->lru.link.next->prev 4096-ptr_max
PARAM_VALUE 0 mob->pt_bo->tbo.type 0-2
PARAM_VALUE 0 mob->pt_level 4-6
BUF_SIZE 0 mob 40
DATA_SOURCE 0 mob r vmw_mob_create
FUZZY_MAX 0 mob->pt_level 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_mob.c vmw_takedown_otable_base() -> vmw_mob_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mob 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_ttm_buffer.c vmw_ttm_destroy() -> vmw_mob_destroy()

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

drivers/gpu/drm/vmwgfx/vmwgfx_ttm_buffer.c vmw_ttm_unpopulate() -> vmw_mob_destroy()

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