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 |