virtinput_fill_evt identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/virtio/virtio_input.c, line 207 (as a function)

Referenced in 1 files:

drivers/virtio/virtio_input.c
- line 327
- line 390

Smatch caller information:

drivers/virtio/virtio_input.c virtinput_probe() -> virtinput_fill_evt()

Type	Parameter	Key	Value
PARAM_VALUE	0	vi	4096-ptr_max
PARAM_VALUE	0	vi->idev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.flags	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	vi->idev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	vi->idev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	vi->idev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	vi->idev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	vi->idev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vi->idev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vi->idev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vi->idev->dev.parent->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.parent->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.parent->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.physical_location->horizontal_position	0-3
PARAM_VALUE	0	vi->idev->dev.physical_location->panel	0-7
PARAM_VALUE	0	vi->idev->dev.physical_location->vertical_position	0-3
PARAM_VALUE	0	vi->idev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vi->idev->evbit	4096-ptr_max
PARAM_VALUE	0	vi->idev->event	3375683721545175040
PARAM_VALUE	0	vi->idev->getkeycode	1-u64max
PARAM_VALUE	0	vi->idev->h_list.next	4096-ptr_max
PARAM_VALUE	0	vi->idev->h_list.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->h_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->h_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->hint_events_per_packet	1-u32max
PARAM_VALUE	0	vi->idev->max_vals	1-u32max
PARAM_VALUE	0	vi->idev->mt	0,4096-ptr_max
PARAM_VALUE	0	vi->idev->mutex.dep_map->name	0-255
PARAM_VALUE	0	vi->idev->mutex.first_waiter	0
PARAM_VALUE	0	vi->idev->mutex.magic	4096-ptr_max
PARAM_VALUE	0	vi->idev->mutex.osq.tail.counter	0
PARAM_VALUE	0	vi->idev->mutex.owner.counter	0
PARAM_VALUE	0	vi->idev->node.next	8912400628449923072
PARAM_VALUE	0	vi->idev->node.next->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->node.prev	0,4096-ptr_max
PARAM_VALUE	0	vi->idev->node.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->idev->node.prev->prev	4096-ptr_max
PARAM_VALUE	0	vi->idev->poller	0,4096-ptr_max
PARAM_VALUE	0	vi->idev->poller->poll_interval	1-4294967295
PARAM_VALUE	0	vi->idev->poller->poll_interval_max	1-4294967295
PARAM_VALUE	0	vi->idev->setkeycode	1-u64max
PARAM_VALUE	0	vi->idev->timer.lockdep_map->name	0-255
PARAM_VALUE	0	vi->idev->vals	16,4096-ptr_max
PARAM_VALUE	0	vi->ready	1
PARAM_VALUE	0	vi->vdev	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config->find_vqs	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config->get	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config->set	4096-ptr_max
PARAM_VALUE	0	vi->vdev->priv	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*vi->idev->rep	s32min-s32max
BUF_SIZE	0	vi	816
BUF_SIZE	0	vi->idev	2480
BUF_SIZE	0	vi->idev->name	64
BUF_SIZE	0	vi->idev->phys	64
BUF_SIZE	0	vi->idev->uniq	64
CAPPED_DATA	0	vi->idev	1
DATA_SOURCE	0	vi	r _kzalloc_noprof
STR_LEN	0	vi->idev->phys	63
STR_LEN	0	vi->phys	63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	vi->idev->id.bustype	0-u16max
HOST_DATA	0	vi->idev->id.product	0-u16max
HOST_DATA	0	vi->idev->id.vendor	0-u16max
HOST_DATA	0	vi->idev->id.version	0-u16max
HOST_DATA	0	*vi->idev->name	0-255
HOST_DATA	0	*vi->idev->uniq	0-255
HOST_DATA	0	*vi->name	0-255
HOST_DATA	0	*vi->serial	0-255
NO_OVERFLOW_SIMPLE	0	vi->idev->max_vals

drivers/virtio/virtio_input.c virtinput_restore() -> virtinput_fill_evt()

Type	Parameter	Key	Value
PARAM_VALUE	0	vi	4096-ptr_max
PARAM_VALUE	0	vi->ready	1
PARAM_VALUE	0	vi->vdev	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config	4096-ptr_max
PARAM_VALUE	0	vi->vdev->config->find_vqs	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs.prev->next	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vi->vdev->vqs_list_lock.rlock.dep_map->name	0-255
BUF_SIZE	0	vi	s32min-(-2),1-s32max
BUF_SIZE	0	vi	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	vi	unit_byte