Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/i915_vma.c igt_vma_partial() -> assert_partial()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.next 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.next->next 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.next->prev 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.prev 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.prev->next 4096-ptr_max
PARAM_VALUE 0 obj->vma.list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 vma 4096-ptr_max
PARAM_VALUE 1 vma->obj 4096-ptr_max
PARAM_VALUE 1 vma->obj->base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 vma->obj->base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 vma->obj->base.resv->lock.base.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 vma->obj->base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 vma->obj->base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 vma->obj->base.resv->lock.base.osq.tail.counter 0-s32max
PARAM_VALUE 1 vma->obj->obj_link.next 6336966952789971096,9074164240162025624
PARAM_VALUE 1 vma->vm 4096-ptr_max
PARAM_VALUE 1 vma->vm->gt->uncore->rpm->kdev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 vma->vm->i915->drm.anon_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vma->vm->i915->drm.anon_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 vma->vm->i915->runtime_pm.kdev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 *vma->obj->mm.tlb 0-4294967295
PARAM_VALUE 2 offset 0-1021
PARAM_VALUE 3 size 0-1021
BUF_SIZE 1 vma->vm 1208
CAPPED_DATA 1 vma->size 1
CAPPED_DATA 1 vma->vm 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 obj r i915_gem_object_create_internal
DATA_SOURCE 1 vma r checked_vma_instance
PARAM_COMPARE 1 vma->node.size >= $1->size
NO_OVERFLOW_SIMPLE 1 vma->fence_size
NO_OVERFLOW_SIMPLE 1 vma->node.size
NO_OVERFLOW_SIMPLE 1 vma->obj->base.size
NO_OVERFLOW_SIMPLE 1 vma->size
NO_OVERFLOW_SIMPLE 1 vma->vm->total