Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gem/i915_gem_execbuffer.c i915_gem_do_execbuffer() -> parse_execbuf2_extensions()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->DR1 0
PARAM_VALUE 0 args->DR4 0-4294967294
PARAM_VALUE 0 args->buffer_count 1-38347922
PARAM_VALUE 0 args->flags 0-4194302,2147483648-2151677950
PARAM_VALUE 1 eb 5412823990542053376
PARAM_VALUE 1 eb->args 4096-ptr_max
PARAM_VALUE 1 eb->batch_flags 0-3
PARAM_VALUE 1 eb->buffer_count 1-38347922
PARAM_VALUE 1 eb->exec 16,4096-ptr_max
PARAM_VALUE 1 eb->fences 0
PARAM_VALUE 1 eb->file 4096-ptr_max
PARAM_VALUE 1 eb->i915 4096-ptr_max
PARAM_VALUE 1 eb->invalid_flags 18446744073709551360
PARAM_VALUE 1 eb->reloc_cache.graphics_ver 0-255
PARAM_VALUE 1 eb->reloc_cache.page u64max
BUF_SIZE 0 args 128-16383
BUF_SIZE 0 args 128-16383
DATA_SOURCE 0 args $2
BIT_INFO 0 args->flags 0x0,0x803fffff
USER_DATA 0 args->DR1 0[u]
USER_DATA 0 args->DR4 0-4294967294[u]
USER_DATA 0 args->batch_len 0-u32max[u]
USER_DATA 0 args->batch_start_offset 0-u32max[u]
USER_DATA 0 args->buffer_count 1-38347922[u]
USER_DATA 0 args->buffers_ptr 0-u64max[u]
USER_DATA 0 args->cliprects_ptr 0-u64max[u]
USER_DATA 0 args->flags 0-4194302,2147483648-2151677950[u]
USER_DATA 0 args->num_cliprects 0-u32max[u]
USER_DATA 0 args->rsvd1 0-u64max[u]
USER_DATA 0 args->rsvd2 0-u64max[u]
USER_DATA 1 eb->batch_start_offset 0-u32max[u]
USER_DATA 1 eb->buffer_count 1-38347922[u]
USER_PTR 0 args
USER_PTR 1 eb->args
USER_PTR 1 eb->exec
USER_PTR 1 eb->vma