Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/virtio_console.c port_fops_splice_write() -> __send_to_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->guest_connected 1
PARAM_VALUE 0 port->host_connected 1
PARAM_VALUE 0 port->out_vq 4096-ptr_max
PARAM_VALUE 0 port->outvq_full 0
PARAM_VALUE 0 port->outvq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev 4096-ptr_max
PARAM_VALUE 0 port->waitqueue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 port->waitqueue.head.prev->next->next 4096-ptr_max
PARAM_VALUE 2 nents 0
PARAM_VALUE 3 in_count 0
PARAM_VALUE 4 buf 4096-ptr_max
PARAM_VALUE 4 buf->buf 0-ptr_max
PARAM_VALUE 4 buf->dev 0,4096-ptr_max
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 4 buf->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 4 buf->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_uses_io_tlb 1
PARAM_VALUE 4 buf->dev->iommu->attach_deferred 0-1
PARAM_VALUE 5 nonblock 1
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 4 buf s32min-s32max
CAPPED_DATA 4 buf->dev 1
DATA_SOURCE 4 buf r alloc_buf
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

drivers/char/virtio_console.c port_fops_write() -> __send_to_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->guest_connected 1
PARAM_VALUE 0 port->host_connected 1
PARAM_VALUE 0 port->outvq_full 0
PARAM_VALUE 0 port->outvq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_uses_io_tlb 1
PARAM_VALUE 0 port->portdev->vdev->dev.parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 port->waitqueue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 port->waitqueue.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 sg 3831060610222350336
PARAM_VALUE 1 sg->offset 0-4095
PARAM_VALUE 2 nents 1
PARAM_VALUE 3 in_count 1-32768
PARAM_VALUE 4 buf 4096-ptr_max
PARAM_VALUE 4 buf->buf 1-ptr_max
PARAM_VALUE 4 buf->dev 0,4096-ptr_max
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 4 buf->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 4 buf->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_uses_io_tlb 1
PARAM_VALUE 4 buf->dev->iommu->attach_deferred 0-1
PARAM_VALUE 4 buf->len 0
PARAM_VALUE 4 buf->offset 0
PARAM_VALUE 4 buf->sgpages 0
PARAM_VALUE 4 buf->size 1-32768
PARAM_VALUE 5 nonblock 1
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 4 buf s32min-s32max
CAPPED_DATA 3 in_count 1
CAPPED_DATA 3 in_count 1
CAPPED_DATA 4 buf->buf 1
CAPPED_DATA 4 buf->dev 1
CAPPED_DATA 4 buf->size 1
DATA_SOURCE 3 in_count $2 [m]
DATA_SOURCE 4 buf r alloc_buf
USER_DATA 3 in_count 1-32768[c]
USER_DATA 4 buf->size 1-32768[c]
USER_DATA 4 *buf->buf 0-255
USER_PTR 4 buf->buf

drivers/char/virtio_console.c put_chars() -> __send_to_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->portdev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->portdev->vdev->dev.parent->dma_uses_io_tlb 1
PARAM_VALUE 0 port->portdev->vdev->dev.parent->iommu->attach_deferred 0-1
PARAM_VALUE 1 sg 135811013918138368
PARAM_VALUE 1 sg->offset 0-4095
PARAM_VALUE 2 nents 1
PARAM_VALUE 3 in_count 1-u32max
PARAM_VALUE 4 buf 4096-ptr_max
PARAM_VALUE 4 buf->buf 1-ptr_max
PARAM_VALUE 4 buf->dev 0,4096-ptr_max
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 4 buf->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 4 buf->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 4 buf->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 4 buf->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 4 buf->dev->dma_uses_io_tlb 1
PARAM_VALUE 4 buf->dev->iommu->attach_deferred 0-1
PARAM_VALUE 4 buf->len 1-u32max
PARAM_VALUE 4 buf->offset 0
PARAM_VALUE 4 buf->sgpages 0
PARAM_VALUE 4 buf->size 1-u32max
PARAM_VALUE 5 nonblock 0
BUF_SIZE 4 buf s32min-s32max
CAPPED_DATA 4 buf->buf 1
CAPPED_DATA 4 buf->dev 1
DATA_SOURCE 0 port r find_port_by_vtermno
DATA_SOURCE 3 in_count $2
DATA_SOURCE 4 buf r alloc_buf
FUZZY_MAX 3 in_count 16
NOSPEC 3 in_count
NOSPEC 3 in_count
NOSPEC 4 buf->len
NOSPEC 4 buf->size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 in_count 1-s32max[c]
HOST_DATA 4 buf->len 1-s32max[c]
HOST_DATA 4 buf->size 1-s32max[c]
USER_DATA 3 in_count 1-s32max[c][u]
USER_DATA 4 buf->len 1-s32max[c][u]
USER_DATA 4 buf->size 1-s32max[c][u]
HALF_LOCKED2 &hp->lock
HALF_LOCKED2 flags