END_USE           437 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           477 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           558 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           585 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           616 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           690 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           696 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           732 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           770 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           810 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           814 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           835 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE           841 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE           999 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1075 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1087 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1113 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1137 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1209 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1228 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1277 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1357 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1363 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1407 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1453 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1521 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1525 drivers/virtio/virtio_ring.c 	END_USE(vq);
END_USE          1543 drivers/virtio/virtio_ring.c 		END_USE(vq);
END_USE          1549 drivers/virtio/virtio_ring.c 	END_USE(vq);