Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_queue_fenced_ctrl_buffer() -> virtio_gpu_queue_ctrl_sgs()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->atomic_state_alloc 0,4313866966076465152,8746944527109378048
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->atomic_state_clear 0,3327168810821279744,3688275810139275264
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->atomic_state_free 0,358897174564036608,2978086218190217216
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->get_format_info 0,4744930813722337280,7691603805021310976
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
PARAM_VALUE 0 vgdev->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->config->get_shm_region 0,2525218589895086080,3831783894439149568
PARAM_VALUE 0 vgdev->vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->config->set_status 4096-ptr_max
PARAM_VALUE 1 vbuf 4096-ptr_max
PARAM_VALUE 1 vbuf->resp_size 24-4000000
PARAM_VALUE 1 vbuf->size 24,32,40,48,56,72,96
PARAM_VALUE 2 fence->f.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_driver_name 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_timeline_name 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->release 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 2 fence->f.ops->signaled 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 3 elemcnt 1-1048578
PARAM_VALUE 4 sgs 4096-ptr_max
PARAM_VALUE 5 outcnt 1-2
PARAM_VALUE 6 incnt 0-1
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
BUF_SIZE 1 vbuf->data_buf (-1)-s32max
BUF_SIZE 1 vbuf->objs (-1)-0,184-s32max
BUF_SIZE 2 fence (-1),184
BUF_SIZE 2 fence (-1),184
BUF_SIZE 4 sgs 24
CAPPED_DATA 0 vgdev->vbufs 1
CAPPED_DATA 1 vbuf->buf 1
DATA_SOURCE 0 vgdev $0
DATA_SOURCE 1 vbuf $1
DATA_SOURCE 2 fence $2
FUZZY_MAX 3 elemcnt 2
FUZZY_MAX 5 outcnt 2
FUZZY_MAX 6 incnt 1
STR_LEN 0 vgdev (-1)-64
STR_LEN 0 vgdev (-1)-64
HARD_MAX 1 vbuf->size 96
HARD_MAX 5 outcnt 2
HARD_MAX 6 incnt 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vgdev->blob_alignment 0-u32max
HOST_DATA 0 vgdev->ddev->mode_config.connector_ida.xa.xa_flags 67108869
HOST_DATA 0 vgdev->ddev->mode_config.object_idr.idr_rt.xa_flags 0-u32max
HOST_DATA 0 vgdev->ddev->mode_config.tile_idr.idr_rt.xa_flags 67108868
HOST_DATA 0 vgdev->ddev->num_crtcs 1-15[c]
HOST_DATA 0 vgdev->host_visible_mm.head_node.size 0-u64max
HOST_DATA 0 vgdev->host_visible_region.addr 0-18446744073709551614[c]
HOST_DATA 0 vgdev->num_capsets 1-u32max[c]
HOST_DATA 0 vgdev->num_scanouts 1-15[c]
USER_DATA 1 vbuf->objs->total 1[u]
NO_OVERFLOW_SIMPLE 0 vgdev->ddev->num_crtcs
NO_OVERFLOW_SIMPLE 0 vgdev->num_capsets
NO_OVERFLOW_SIMPLE 0 vgdev->vbufs->object_size
UNITS 0 vgdev unit_byte
USER_PTR 1 vbuf->data_buf
HALF_LOCKED2 0 &vgdev->obj_restore_lock