Open Menu /

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_execbuffer2_ioctl() -> i915_gem_do_execbuffer()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->unplugged 0
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->master_lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 file->minor 4096-ptr_max
PARAM_VALUE 1 file->minor->dev 4096-ptr_max
PARAM_VALUE 2 args 4096-ptr_max
PARAM_VALUE 2 args->DR1 0
PARAM_VALUE 2 args->DR4 0-4294967294
PARAM_VALUE 2 args->buffer_count 1-38347922
PARAM_VALUE 2 args->flags 0-4194302
PARAM_VALUE 3 exec 1-18446744073709551614
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 2 args 128-16383
BUF_SIZE 2 args 128-16383
BUF_SIZE 3 exec 136
BUF_SIZE 3 exec 136
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
DATA_SOURCE 2 args $1
DATA_SOURCE 3 exec r _kvmalloc_array_node_noprof
USER_DATA 2 args->DR1 0[u]
USER_DATA 2 args->DR4 0-4294967294[u]
USER_DATA 2 args->batch_len 0-u32max[u]
USER_DATA 2 args->batch_start_offset 0-u32max[u]
USER_DATA 2 args->buffer_count 1-38347922[u]
USER_DATA 2 args->buffers_ptr 0-u64max[u]
USER_DATA 2 args->cliprects_ptr 0-u64max[u]
USER_DATA 2 args->flags 0-4194302[u]
USER_DATA 2 args->num_cliprects 0-u32max[u]
USER_DATA 2 args->rsvd1 0-u64max[u]
USER_DATA 2 args->rsvd2 0-u64max[u]
USER_DATA 3 exec->alignment 0-u64max
USER_DATA 3 exec->flags 0-u64max
USER_DATA 3 exec->handle 0-u32max
USER_DATA 3 exec->offset 0-u64max
USER_DATA 3 exec->pad_to_size 0-u64max
USER_DATA 3 exec->relocation_count 0-u32max
USER_DATA 3 exec->relocs_ptr 0-u64max
USER_DATA 3 exec->rsvd1 0-u64max
USER_DATA 3 exec->rsvd2 0-u64max
UNITS 0 dev unit_byte
USER_PTR 2 args
USER_PTR 3 exec