Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gem/i915_gem_execbuffer.c eb_lookup_vmas() -> eb_validate_vma()

Type Parameter Key Value
PARAM_VALUE 0 eb 5412823990542053376
PARAM_VALUE 0 eb->args 4096-ptr_max
PARAM_VALUE 0 eb->batch_flags 0-3
PARAM_VALUE 0 eb->buckets 0,16,4096-ptr_max
PARAM_VALUE 0 eb->buffer_count 1-38347922
PARAM_VALUE 0 eb->context 4096-ptr_max
PARAM_VALUE 0 eb->exec 4096-ptr_max
PARAM_VALUE 0 eb->file 4096-ptr_max
PARAM_VALUE 0 eb->gem_context 4096-ptr_max
PARAM_VALUE 0 eb->gt 4096-ptr_max
PARAM_VALUE 0 eb->i915 4096-ptr_max
PARAM_VALUE 0 eb->invalid_flags 18446744073709551360,18446744073709551362
PARAM_VALUE 0 eb->num_batches 1
PARAM_VALUE 0 eb->reloc_cache.graphics_ver 0-255
PARAM_VALUE 0 eb->reloc_cache.page u64max
PARAM_VALUE 0 eb->relocs.next 5412823990542053640
PARAM_VALUE 0 eb->relocs.next->next 5412823990542053640
PARAM_VALUE 0 eb->relocs.prev 4096-ptr_max
PARAM_VALUE 0 eb->relocs.prev->next 4096-ptr_max
PARAM_VALUE 0 eb->relocs.prev->prev 5412823990542053640
PARAM_VALUE 0 eb->wakeref 4096-ptr_max,(-2)
PARAM_VALUE 0 eb->wakeref_gt0 4096-ptr_max,(-2)
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 2 vma 4096-ptr_max
DATA_SOURCE 0 eb $0
DATA_SOURCE 2 vma r eb_lookup_vma
USER_DATA 0 eb->batch_start_offset 0-u32max[u]
USER_DATA 0 eb->buffer_count 1-38347922[c][u]
USER_DATA 0 eb->lut_size s32min-s32max
USER_DATA 1 entry->alignment 0-u64max[u]
USER_DATA 1 entry->flags 0-u64max[u]
USER_DATA 1 entry->handle 0-u32max[u]
USER_DATA 1 entry->offset 0-u64max[u]
USER_DATA 1 entry->pad_to_size 0-u64max[u]
USER_DATA 1 entry->relocation_count 0-u32max[u]
USER_DATA 1 entry->relocs_ptr 0-u64max[u]
USER_DATA 1 entry->rsvd1 0-u64max[u]
USER_DATA 1 entry->rsvd2 0-u64max[u]
NO_OVERFLOW_SIMPLE 2 vma->fence_size
NO_OVERFLOW_SIMPLE 2 vma->obj->base.size
NO_OVERFLOW_SIMPLE 2 vma->size
NO_OVERFLOW_SIMPLE 2 vma->vm->total
USER_PTR 0 eb->args
USER_PTR 0 eb->exec
USER_PTR 0 eb->vma
USER_PTR 1 entry