Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_init_submit() -> virtio_gpu_fence_event_create()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_private 4096-ptr_max
PARAM_VALUE 0 dev->dev_private->ctrlq.qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_private->ctrlq.seqno 0-4294967295
PARAM_VALUE 0 dev->dev_private->pending_commands.counter s32min-s32max
PARAM_VALUE 0 dev->dev_private->vbufs->object_size 0-4294967295
PARAM_VALUE 0 dev->unplugged 0
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->driver_priv 4096-ptr_max
PARAM_VALUE 1 file->driver_priv->context_created 1
PARAM_VALUE 1 file->driver_priv->context_lock.dep_map->name 0-255
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 file->driver_priv->context_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 file->driver_priv->context_lock.osq.tail.counter 0-s32max
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 fence 0,4096-ptr_max
PARAM_VALUE 2 fence->drv 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.next->next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 fence->f.error 0
PARAM_VALUE 2 fence->f.extern_lock 1-u64max
PARAM_VALUE 2 fence->f.flags 1,3,5,7
PARAM_VALUE 2 fence->f.ops 5370990546352951296
PARAM_VALUE 2 fence->f.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_timeline_name 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 2 fence->f.refcount.refcount.refs.counter 1
PARAM_VALUE 2 fence->f.seqno 0
PARAM_VALUE 2 fence->ring_idx 0-4294967294
PARAM_VALUE 3 ring_idx 0-4294967294
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 1 file s32min-(-2),1-s32max
BUF_SIZE 2 fence 184
CAPPED_DATA 0 dev->dev_private->vbufs 1
CAPPED_DATA 3 ring_idx 1
DATA_SOURCE 0 dev $2
DATA_SOURCE 1 file $3
DATA_SOURCE 2 fence r virtio_gpu_fence_alloc
DATA_SOURCE 3 ring_idx $5
FUZZY_MAX 3 ring_idx 0
NOSPEC 2 fence->ring_idx
NOSPEC 3 ring_idx
NOSPEC 3 ring_idx
USER_DATA 2 fence->f.seqno 0
USER_DATA 2 fence->ring_idx 0-s32max[c]
USER_DATA 3 ring_idx 0-s32max[c]
UNITS 0 dev unit_byte
UNITS 3 ring_idx unit_array_size