virtio — archive

[Michael S. Tsirkin]

Link conformance statements into conformance chapter. Signed-off-by: Michael S. Tsirkin <mst@redhat.com> --- conformance.tex 9 +++++++++ packed-ring.tex 16 +++++ ----------- 2 files changed, 14 insertions(+), 11 deletions(-) diff --git a/conformance.tex b/conformance.tex index 9807c30..663e7c3 100644 --- a/conformance.tex +++ b/conformance.tex @@ -85,6 +85,12 @@ section{Conformance Targets}label{sec:Conformance / Conformance Targets} item ef{drivernormative:Basic Facilities of a Virtio Device / Virtqueues / Available Buffer Notification Suppression} item ef{drivernormative:Basic Facilities of a Virtio Device / Virtqueues / Supplying Buffers to The Device / Updating idx} item ef{drivernormative:Basic Facilities of a Virtio Device / Virtqueues / Supplying Buffers to The Device / Notifying The Device} +item ef{drivernormative:Basic Facilities of a Virtio Device / Packed Virtqueues} +item ef{drivernormative:Basic Facilities of a Virtio Device / PAcked Virtqueues / The Virtqueue Descriptor Table} +item ef{drivernormative:Basic Facilities of a Virtio Device / Packed Virtqueues / Scatter-Gather Support} +item ef{drivernormative:Basic Facilities of a Virtio Device / Packed Virtqueues / The Virtqueue Descriptor Table / Indirect Descriptors} +item ef{drivernormative:Basic Facilities of a Virtio Device / Packed Virtqueues / Supplying Buffers to The Device / Updating flags} +item ef{drivernormative:Basic Facilities of a Virtio Device / Packed Virtqueues / Supplying Buffers to The Device / Sending Available Buffer Notifications} item ef{drivernormative:General Initialization And Device Operation / Device Initialization} item ef{drivernormative:General Initialization And Device Operation / Device Cleanup} item ef{drivernormative:Reserved Feature Bits} @@ -340,6 +346,9 @@ section{Conformance Targets}label{sec:Conformance / Conformance Targets} item ef{devicenormative:Basic Facilities of a Virtio Device / Virtqueues / Used Buffer Notification Suppression} item ef{devicenormative:Basic Facilities of a Virtio Device / Virtqueues / The Virtqueue Used Ring} item ef{devicenormative:Basic Facilities of a Virtio Device / Virtqueues / Available Buffer Notification Suppression} +item ef{devicenormative:Basic Facilities of a Virtio Device / Packed Virtqueues} +item ef{devicenormative:Basic Facilities of a Virtio Device / Packed Virtqueues / The Virtqueue Descriptor Table} +item ef{devicenormative:Basic Facilities of a Virtio Device / Packed Virtqueues / Scatter-Gather Support} item ef{devicenormative:Basic Facilities of a Virtio Device / Shared Memory Regions} item ef{devicenormative:Reserved Feature Bits} end{itemize} diff --git a/packed-ring.tex b/packed-ring.tex index 2accc23..47f58a8 100644 --- a/packed-ring.tex +++ b/packed-ring.tex @@ -407,14 +407,12 @@ subsubsection{Structure Size and Alignment} can be queued at any given time.}. The Queue Size value does not have to be a power of 2. -drivernormative{subsection}{Virtqueues}{Basic Facilities of a -Virtio Device / Packed Virtqueues} +drivernormative{subsection}{Virtqueues}{Basic Facilities of a Virtio Device / Packed Virtqueues} The driver MUST ensure that the physical address of the first byte of each virtqueue part is a multiple of the specified alignment value in the above table. -devicenormative{subsection}{Virtqueues}{Basic Facilities of a -Virtio Device / Packed Virtqueues} +devicenormative{subsection}{Virtqueues}{Basic Facilities of a Virtio Device / Packed Virtqueues} The device MUST start processing driver descriptors in the order in which they appear in the ring. The device MUST start writing device descriptors into the ring in @@ -485,8 +483,7 @@ subsection{Event Suppression Structure Format}label{sec:Basic A driver MAY send multiple available buffer notifications without making any new descriptors available to the device. -drivernormative{subsection}{Scatter-Gather Support}{Basic Facilities of a -Virtio Device / Packed Virtqueues / Scatter-Gather Support} +drivernormative{subsection}{Scatter-Gather Support}{Basic Facilities of a Virtio Device / Packed Virtqueues / Scatter-Gather Support} A driver MUST NOT create a descriptor list longer than allowed by the device. @@ -508,8 +505,7 @@ subsection{Event Suppression Structure Format}label{sec:Basic before all subsequent descriptors comprising the list are made available. -devicenormative{subsection}{Scatter-Gather Support}{Basic Facilities of a -Virtio Device / Packed Virtqueues / Scatter-Gather Support} +devicenormative{subsection}{Scatter-Gather Support}{Basic Facilities of a Virtio Device / Packed Virtqueues / Scatter-Gather Support} The device MUST use descriptors in a list chained by the VIRTQ_DESC_F_NEXT flag in the same order that they were made available by the driver. @@ -591,9 +587,7 @@ subsubsection{Placing Available Buffers Into The Descriptor Ring}label{sec:Bas access the descriptor and any following descriptors the driver created and the memory they refer to immediately. -drivernormative{paragraph}{Updating flags}{Basic Facilities of -a Virtio Device / Packed Virtqueues / Supplying Buffers to The -Device / Updating flags} +drivernormative{paragraph}{Updating flags}{Basic Facilities of a Virtio Device / Packed Virtqueues / Supplying Buffers to The Device / Updating flags} The driver MUST perform a suitable memory barrier before the field{flags} update, to ensure the device sees the most up-to-date copy. -- MST