Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_resource_create_blob_ioctl() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 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
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_resource_create_ioctl() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 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
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_from_host_ioctl() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 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
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_to_host_ioctl() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 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 1 file->table_lock.rlock.dep_map->name 0-255
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_gem_object_open() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 4096-ptr_max
PARAM_VALUE 0 dev->object_name_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->object_name_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->object_name_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->object_name_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->object_name_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->object_name_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->object_name_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->table_lock.rlock.dep_map->name 0-255
BUF_SIZE 1 file s32min-(-1),1-s32max
BUF_SIZE 1 file s32min-(-1),1-s32max
CAPPED_DATA 1 file->object_idr.idr_base 1
DATA_SOURCE 1 file $1
STR_LEN 0 dev (-1),4
STR_LEN 0 dev (-1),4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 dev->num_crtcs
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 0 &dev->object_name_lock
HALF_LOCKED2 1 &file->driver_priv->mutex
HALF_LOCKED2 1 &file->prime.lock

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_execbuffer_ioctl() -> virtio_gpu_create_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 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
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 file $2
NOCHECK_CALL
UNITS 0 dev unit_byte