[PATCH] VIRTIO-134: Spell out details of indirect elements in chains

[Rusty Russell <rusty@au1.ibm.com>]

1) It's implied that a chain terminates with an indirect descriptor (since
   VIRTIO-15) but we didn't spell out that a device MUST NOT continue it.

2) We allow [direct]->[direct]->[indirect], and qemu and bhyve both accept
   it.  Make it clear that this is valid, thus devices MUST handle it.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 content.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/content.tex b/content.tex
index 5b54c68..6ba079d 100644
--- a/content.tex
+++ b/content.tex
@@ -475,9 +475,21 @@ one table per descriptor).
 A driver MUST NOT create a descriptor chain longer than the Queue Size of
 the device.
 
+A driver MUST NOT set both VIRTQ_DESC_F_INDIRECT and VIRTQ_DESC_F_NEXT
+in \field{flags}.
+
 \devicenormative{\paragraph}{Indirect Descriptors}{Basic Facilities of a Virtio Device / Virtqueues / The Virtqueue Descriptor Table / Indirect Descriptors}
 The device MUST ignore the write-only flag (\field{flags}\&VIRTQ_DESC_F_WRITE) in the descriptor that refers to an indirect table.
 
+The device MUST handle the case of zero or more normal chained
+descriptors followed by a single descriptor with \field{flags}\&VIRTQ_DESC_F_INDIRECT.
+
+\begin{note}
+While unusual (most implementations either create a chain solely using
+non-indirect descriptors, or use a single indirect element), such a
+layout is valid.
+\end{note}
+
 \subsection{The Virtqueue Available Ring}\label{sec:Basic Facilities of a Virtio Device / Virtqueues / The Virtqueue Available Ring}
 
 \begin{lstlisting}
-- 
2.1.0