Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_object_delete_work() -> nouveau_gem_object_delete()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &cli->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nouveau_cli)->lock

drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_object_unmap() -> nouveau_gem_object_delete()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->fence 0
PARAM_VALUE 0 vma->head.next->prev 4096-ptr_max
PARAM_VALUE 0 vma->head.prev->next 4096-ptr_max
PARAM_VALUE 0 vma->refs 0
CAPPED_DATA 0 vma->vmm 1
DATA_SOURCE 0 vma $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 nvbo->bo.base.resv
HALF_LOCKED2 &dev->object_name_lock

drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_object_unmap() -> nouveau_gem_object_delete()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->fence 1-u64max
PARAM_VALUE 0 vma->head.next->prev 4096-ptr_max
PARAM_VALUE 0 vma->head.prev->next 4096-ptr_max
PARAM_VALUE 0 vma->refs 0
CAPPED_DATA 0 vma->vmm 1
DATA_SOURCE 0 vma $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 nvbo->bo.base.resv
HALF_LOCKED2 &dev->object_name_lock