Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/virtio/virtio_ring.c virtqueue_enable_cb_delayed_packed() -> virtio_mb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 rcu_read

drivers/virtio/virtio_ring.c virtqueue_kick_prepare_packed() -> virtio_mb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &(plane->dev)->mode_config.panic_lock
HALF_LOCKED2 &alarm_viortc_vq->lock
HALF_LOCKED2 &fsvq->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &vgdev->cursorq.qlock
HALF_LOCKED2 &viortc_vq->lock
HALF_LOCKED2 &vq->lock
HALF_LOCKED2 &vq->vq_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 irq

drivers/virtio/virtio_ring.c virtqueue_kick_prepare_split() -> virtio_mb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &(plane->dev)->mode_config.panic_lock
HALF_LOCKED2 &alarm_viortc_vq->lock
HALF_LOCKED2 &fsvq->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &vgdev->cursorq.qlock
HALF_LOCKED2 &viortc_vq->lock
HALF_LOCKED2 &vq->lock
HALF_LOCKED2 &vq->vq_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 irq

drivers/virtio/virtio_ring.c virtqueue_poll() -> virtio_mb()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vioch->lock
HALF_LOCKED2 flags

drivers/vhost/vringh.c __vringh_need_notify() -> virtio_mb()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

drivers/vhost/vringh.c __vringh_notify_enable() -> virtio_mb()

Type Parameter Key Value
NOCHECK_CALL