Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_mode_dumb_create() -> virtio_gpu_gem_create()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->dev_private 4096-ptr_max
PARAM_VALUE 1 dev->driver 4096-ptr_max
PARAM_VALUE 1 dev->driver->dumb_create 1-u64max
PARAM_VALUE 2 params 4743625328666308608
PARAM_VALUE 2 params->array_size 0
PARAM_VALUE 2 params->bind 0
PARAM_VALUE 2 params->blob_flags 0,2
PARAM_VALUE 2 params->blob_hints 0
PARAM_VALUE 2 params->blob_id 0
PARAM_VALUE 2 params->blob_mem 0-1
PARAM_VALUE 2 params->ctx_id 0
PARAM_VALUE 2 params->depth 0
PARAM_VALUE 2 params->dumb 1
PARAM_VALUE 2 params->flags 0
PARAM_VALUE 2 params->format 0,2
PARAM_VALUE 2 params->height 1-u32max
PARAM_VALUE 2 params->last_level 0
PARAM_VALUE 2 params->nr_samples 0
PARAM_VALUE 2 params->size 0,4096-4294967296
PARAM_VALUE 2 params->target 0
PARAM_VALUE 2 params->virgl 0
PARAM_VALUE 2 params->width 1-u32max
PARAM_VALUE 3 obj_p 4668402445461872640
PARAM_VALUE 4 handle_p 4096-ptr_max
PARAM_VALUE 4 *handle_p 0
BUF_SIZE 0 file s32min-(-1),1-s32max
BUF_SIZE 0 file s32min-(-1),1-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 dev $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 params->height 1-s32max[c]
USER_DATA 2 params->width 1-u32max[u]
NO_OVERFLOW_SIMPLE 2 params->height
NO_OVERFLOW_SIMPLE 2 params->width