Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_packed() -> virtio_rmb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_packed_in_order() -> virtio_rmb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split() -> virtio_rmb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split_in_order() -> virtio_rmb()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vhost/vringh.c __vringh_get_head() -> virtio_rmb()

Type Parameter Key Value
NOCHECK_CALL