Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->evts 4096-ptr_max
PARAM_VALUE 0 vi->idev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vi->idev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 vi->idev->poller->poll_interval_max 0-4294967295
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
PARAM_VALUE 0 *vi->idev->rep s32min-s32max
PARAM_VALUE 1 evtbuf 4096-ptr_max
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi->idev (-1),2480
BUF_SIZE 0 vi->idev->name (-1),64
BUF_SIZE 0 vi->idev->phys (-1),64
BUF_SIZE 0 vi->idev->uniq (-1),64
DATA_SOURCE 0 vi $0
STR_LEN 0 vi->idev->phys (-1),63
STR_LEN 0 vi->phys (-1),63
PREEMPT_ADD <- disables preempt
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
NO_OVERFLOW_SIMPLE 0 vi->idev->max_vals
UNITS 0 vi unit_byte
LOCK2 flags
LOCK2 0 &vi->lock
TYPE_LOCK (struct virtio_input)->lock

drivers/virtio/virtio_input.c virtinput_recv_events() -> virtinput_queue_evtbuf()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vi->ready 1
PARAM_VALUE 0 *vi->idev->rep s32min-s32max
PARAM_VALUE 1 evtbuf 4096-ptr_max
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
DATA_SOURCE 1 evtbuf r virtqueue_get_buf
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 evtbuf->code 0-u16max
HOST_DATA 1 evtbuf->type 0-u16max
HOST_DATA 1 evtbuf->value 0-u32max
UNITS 0 vi unit_byte
LOCK2 flags
LOCK2 0 &vi->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &vp_dev->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct virtio_input)->lock