Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/vhost/vhost.c vhost_dev_stop() -> vhost_dev_flush()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->nvqs 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex

drivers/vhost/vhost.c vhost_vring_ioctl() -> vhost_dev_flush()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vs->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vhost.c vhost_workers_free() -> vhost_dev_flush()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iotlb 0
PARAM_VALUE 0 dev->iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->log_ctx 0
PARAM_VALUE 0 dev->umem 0
PARAM_VALUE 0 dev->use_worker 1
PARAM_VALUE 0 dev->wait.lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 dev->nvqs 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mutex

drivers/vhost/net.c vhost_net_flush() -> vhost_dev_flush()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->fork_owner 0[c]
NO_OVERFLOW_SIMPLE 0 dev->iov_limit
HALF_LOCKED2 &n->dev.mutex

drivers/vhost/net.c vhost_net_set_backend() -> vhost_dev_flush()

Type Parameter Key Value
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->mutex.wait_lock.owner_cpu u32max
NOCHECK_CALL
LOCK2 &n->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vsock.c vhost_vsock_flush() -> vhost_dev_flush()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->fork_owner 0[c]
NO_OVERFLOW_SIMPLE 0 dev->iov_limit
HALF_LOCKED2 &vsock->dev.mutex

drivers/vhost/scsi.c vhost_scsi_flush() -> vhost_dev_flush()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->mutex.wait_lock.owner_cpu u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->fork_owner 0[c]
NO_OVERFLOW_SIMPLE 0 dev->iov_limit
LOCK2 &vs->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/scsi.c vhost_scsi_tmf_flush_work() -> vhost_dev_flush()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock