linux-core/via_verifier.h


1

../shared-core/via_verifier.h
Document: virtio-v1.0-csprd01
Number: 7
Date: Wed, 29 Jan 2014 17:05:06 -0800
Link to Mail: https://lists.oasis-open.org/archives/virtio-comment/201401/msg00058.html
Commenter name: Arun Subbarao <asubbarao@lnxw.com>
Decision: 

(PARTIAL: there is more feedback)

The lack of any kind of distinguishing emphasis used consistently with field names in this document makes it hard to read. For example, here, is it literally the next field or the field called "next"? Because there is a field called "next" defined by this spec. This made me scroll back to the used ring definition to refresh the meaning of field "next" in my head, only to realize there is no such field in that particular structure. You are not kind to the reader.

If you search for the field name "avail_event", you will see that sometimes it is emphasized with quotes and sometimes it isn't. Probably better to use a monospace font instead.

Proposal:

Use \field{} for all register and field names.

This currently just makes it italic.  Generally this means changing
phrases of form "the XXX field" to "\field{XXX}", but other minor
consistency and formatting changes were made along the way:

1) Device Status became "device status" to match other fields.

2) PCI: The legacy PCI fields now have the same name as modern ones (where
   appropriate) so the general text still stands.

3) PCI: the msix_config field is renamed config_msix_vector to match the
   queue equivalent.

4) MMIO: use italics for field names in table instead of bold (to match
   the rest of the document)

5) MMIO: extra spacing in "QueueDescLow/ QueueDescHigh" and "QueueUsedLow/
   QueueUsedHigh" removed.

6) NET: CAN changed to MAY (was: 'a transitional device CAN defer MAC
   update, or CAN defer')

7) SCSI: control commands are now an item list, for better formatting.

8) SCSI: events now an item list.  reason fields now a description list.

9) VIRTIO_F_RING_EVENT_IDX is now a coherent sentence instead of just
   ending "; the flags field is used". 

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>

diff --git a/commands.tex b/commands.tex
index 1f6fad2..671757b 100644
--- a/commands.tex
+++ b/commands.tex
@@ -5,3 +5,6 @@
 \definecolor{oasis1}{RGB}{85,38,129}
 \definecolor{oasis2}{RGB}{227,175,27}
 \definecolor{shadecolor}{RGB}{230,230,230}
+
+% How we format a field name
+\newcommand{\field}[1]{\emph{#1}}
diff --git a/content.tex b/content.tex
index a856b5e..b67081f 100644
--- a/content.tex
+++ b/content.tex
@@ -6,21 +6,21 @@ A virtio device is discovered and identified by a bus-specific method
 device consists of the following parts:
 
 \begin{itemize}
-\item Device Status field
+\item Device status field
 \item Feature bits
 \item Configuration space
 \item One or more virtqueues
 \end{itemize}
 
-\section{Device Status Field}\label{sec:Basic Facilities of a Virtio Device / Device Status Field}
+\section{\field{Device Status} Field}\label{sec:Basic Facilities of a Virtio Device / Device Status Field}
 
-The driver MUST update the Device Status field in the order below to
+The driver MUST update the \field{device status} field in the order below to
 indicate its progress. This provides a simple low-level diagnostic:
 it's most useful to imagine them hooked up to traffic lights on the
 console indicating the status of each device.  The driver MUST NOT
-clear a device status bit.
+clear a \field{device status} bit.
 
-This field is 0 upon reset, otherwise at least one bit should be set:
+\field{device status} is 0 upon reset, otherwise at least one bit should be set:
 
 \begin{description}
 \item[ACKNOWLEDGE (1)] Indicates that the guest OS has found the
@@ -332,8 +332,8 @@ VIRTIO_F_ANY_LAYOUT feature is accepted.
 \subsection{The Virtqueue Descriptor Table}\label{sec:Basic Facilities of a Virtio Device / Virtqueues / The Virtqueue Descriptor Table}
 
 The descriptor table refers to the buffers the driver is using for
-the device. The addresses are physical addresses, and the buffers
-can be chained via the next field. Each descriptor describes a
+the device. \field{addr} is a physical address, and the buffers
+can be chained via \field{next}. Each descriptor describes a
 buffer which is read-only or write-only, but a chain of
 descriptors can contain both read-only and write-only buffers.
 
@@ -375,8 +375,8 @@ Some devices benefit by concurrently dispatching a large number
 of large requests. The VIRTIO_RING_F_INDIRECT_DESC feature allows this (see \ref{sec:virtio-ring.h}~\nameref{sec:virtio-ring.h}). To increase
 ring capacity the driver can store a table of indirect
 descriptors anywhere in memory, and insert a descriptor in main
-virtqueue (with flags\&VRING_DESC_F_INDIRECT on) that refers to memory buffer
-containing this indirect descriptor table; fields addr and len
+virtqueue (with \field{flags}\&VRING_DESC_F_INDIRECT on) that refers to memory buffer
+containing this indirect descriptor table; \field{addr} and \field{len}
 refer to the indirect table address and length in bytes,
 respectively.
 
@@ -384,7 +384,7 @@ The driver MUST NOT set the VRING_DESC_F_INDIRECT flag unless the
 VIRTIO_RING_F_INDIRECT_DESC feature was negotiated.
 
 The indirect table layout structure looks like this
-(len is the length of the descriptor that refers to this table,
+(\field{len} is the length of the descriptor that refers to this table,
 which is a variable, so this code won't compile):
 
 \begin{lstlisting}
@@ -396,13 +396,13 @@ struct indirect_descriptor_table {
 
 The first indirect descriptor is located at start of the indirect
 descriptor table (index 0), additional indirect descriptors are
-chained by next field. An indirect descriptor without next field
-(with flags\&VRING_DESC_F_NEXT off) signals the end of the descriptor.
+chained by \field{next}. An indirect descriptor without a valid \field{next}
+(with \field{flags}\&VRING_DESC_F_NEXT off) signals the end of the descriptor.
 An
 indirect descriptor can not refer to another indirect descriptor
-table (flags\&VRING_DESC_F_INDIRECT MUST be off). A single indirect descriptor
+table (\field{flags}\&VRING_DESC_F_INDIRECT MUST be off). A single indirect descriptor
 table can include both read-only and write-only descriptors;
-the device MUST ignore the write-only flag (flags\&VRING_DESC_F_WRITE) in the descriptor that refers to it.
+the device MUST ignore the write-only flag (\field{flags}\&VRING_DESC_F_WRITE) in the descriptor that refers to it.
 
 \subsection{The Virtqueue Available Ring}\label{sec:Basic Facilities of a Virtio Device / Virtqueues / The Virtqueue Available Ring}
 
@@ -421,21 +421,21 @@ The driver uses the available ring to offer buffers to the
 device: each ring entry refers to the head of a descriptor chain.  It is only
 written by the driver and read by the device.
 
-The “idx” field indicates where the driver would put the next descriptor
+\field{idx} field indicates where the driver would put the next descriptor
 entry in the ring (modulo the queue size). This starts at 0, and increases.
 
-If the VIRTIO_RING_F_INDIRECT_DESC feature bit is not negotiated, the
-“flags” field offers a crude interrupt control mechanism.  The driver
+If the VIRTIO_RING_F_INDIRECT_DESC feature bit is not negotiated,
+\field{flags} field offers a crude interrupt control mechanism.  The driver
 MUST set this to 0 or 1: 1 indicates that the device SHOULD NOT send
 an interrupt when it consumes a descriptor chain from the available
-ring.  The device MUST ignore the used_event value in this case.
+ring.  The device MUST ignore the \field{used_event} value in this case.
 
 Otherwise, if the VIRTIO_RING_F_EVENT_IDX feature bit is negotiated,
-the driver MUST set the "flags" field to 0, and use the “used_event”
-field in the used ring instead.  The driver can ask the device to delay interrupts
-until an entry with an index specified by the “used_event” field is
-written in the used ring (equivalently, until the idx field in the
-used ring will reach the value used_event + 1).
+the driver MUST set \field{flags} to 0, and use \field{used_event}
+in the used ring instead.  The driver can ask the device to delay interrupts
+until an entry with an index specified by \field{used_event} is
+written in the used ring (equivalently, until \field{idx} in the
+used ring will reach the value \field{used_event} + 1).
 
 The driver MUST handle spurious interrupts: either form of interrupt
 suppression is merely an optimization; it may not suppress interrupts
@@ -466,27 +466,27 @@ struct vring_used_elem {
 The used ring is where the device returns buffers once it is done with
 them: it is only written to by the device, and read by the driver.
 
-Each entry in the ring is a pair: the head entry of the
+Each entry in the ring is a pair: \field{id} indicates the head entry of the
 descriptor chain describing the buffer (this matches an entry
-placed in the available ring by the guest earlier), and the total
+placed in the available ring by the guest earlier), and \field{len} the total
 of bytes written into the buffer. The latter is extremely useful
 for drivers using untrusted buffers: if you do not know exactly
 how much has been written by the device, you usually have to zero
 the buffer to ensure no data leakage occurs.
 
-If the VIRTIO_RING_F_INDIRECT_DESC feature bit is not negotiated, the
-“flags” field offers a crude interrupt control mechanism.  The driver
+If the VIRTIO_RING_F_INDIRECT_DESC feature bit is not negotiated,
+\field{flags} offers a crude interrupt control mechanism.  The driver
 MUST initialize this to 0, the device MUST set this to 0 or 1: 1
 indicates that the driver SHOULD NOT send an notification when it adds
 a descriptor chain to the available ring.  The driver MUST ignore the
-used_event value in this case.
+\field{used_event} value in this case.
 
 Otherwise, if the VIRTIO_RING_F_EVENT_IDX feature bit is negotiated,
-the device MUST leave the "flags" field at 0, and use the
-“avail_event” field in the used ring instead.  The device can ask the
+the device MUST leave \field{flags} at 0, and use
+\field{avail_event} in the used ring instead.  The device can ask the
 driver to delay notifications until an entry with an index specified
-by the “avail_event” field is written in the available ring (equivalently,
-until the idx field in the used ring will reach the value avail_event +
+by \field{avail_event} is written in the available ring (equivalently,
+until \field{idx} in the used ring will reach the value \field{avail_event} +
 1).
 
 The device MUST handle spurious notification: either form of
@@ -530,7 +530,7 @@ The driver MUST follow this sequence to initialize a device:
 \item\label{itm:General Initialization And Device Operation / Device Initialization / Set FEATURES-OK} Set the FEATURES_OK status bit.  The driver MUST not accept
    new feature bits after this step.
 
-\item\label{itm:General Initialization And Device Operation / Device Initialization / Re-read FEATURES-OK} Re-read the status byte to ensure the FEATURES_OK bit is still
+\item\label{itm:General Initialization And Device Operation / Device Initialization / Re-read FEATURES-OK} Re-read \field{device status} to ensure the FEATURES_OK bit is still
    set: otherwise, the device does not support our subset of features
    and the device is unusable.
 
@@ -598,11 +598,11 @@ The driver offers buffers to one of the device's virtqueues as follows:
   the updated descriptor table and available ring before the next
   step.
 
-\item The available “idx” field is increased by the number of
+\item The available \field{idx} is increased by the number of
   descriptor chain heads added to the available ring.
 
 \item The driver MUST perform a suitable memory barrier to ensure that it updates
-  the "idx" field before checking for notification suppression.
+  the \field{idx} field before checking for notification suppression.
 
 \item If notifications are not suppressed, the driver MUST notify the device
     of the new available buffers.
@@ -614,7 +614,7 @@ the ring buffer is the same size as the descriptor table, so step
 (1) will prevent such a condition.
 
 In addition, the maximum queue size is 32768 (it must be a power
-of 2 which fits in 16 bits), so the 16-bit “idx” value can always
+of 2 which fits in 16 bits), so the 16-bit \field{idx} value can always
 distinguish between a full and empty buffer.
 
 Here is a description of each stage in more detail.
@@ -631,19 +631,19 @@ for each buffer element, b:
 
 \begin{enumerate}
 \item Get the next free descriptor table entry, d
-\item Set d.addr to the physical address of the start of b
-\item Set d.len to the length of b.
-\item If b is write-only, set d.flags to VRING_DESC_F_WRITE,
+\item Set \field{d.addr} to the physical address of the start of b
+\item Set \field{d.len} to the length of b.
+\item If b is write-only, set \field{d.flags} to VRING_DESC_F_WRITE,
     otherwise 0.
 \item If there is a buffer element after this:
     \begin{enumerate}
-    \item Set d.next to the index of the next free descriptor
+    \item Set \field{d.next} to the index of the next free descriptor
       element.
-    \item Set the VRING_DESC_F_NEXT bit in d.flags.
+    \item Set the VRING_DESC_F_NEXT bit in \field{d.flags}.
     \end{enumerate}
 \end{enumerate}
 
-In practice, the d.next fields are usually used to chain free
+In practice, \field{d.next} is usually used to chain free
 descriptors, and a separate count kept to check there are enough
 free descriptors before beginning the mappings.
 
@@ -659,22 +659,22 @@ avail->ring[avail->idx % qsz] = head;
 \end{lstlisting}
 
 However, in general the driver can add many descriptor chains before it updates
-the “idx” field (at which point they become visible to the
+\field{idx} (at which point they become visible to the
 device), so it is common to keep a counter of how many the driver has added:
 
 \begin{lstlisting}
 avail->ring[(avail->idx + added++) % qsz] = head;
 \end{lstlisting}
 
-\subsubsection{Updating The Index Field}\label{sec:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Updating The Index Field}
+\subsubsection{Updating \field{idx}}\label{sec:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Updating idx}
 
-Once the index field of the virtqueue is updated, the device will
+Once \field{idx} is updated, the device will
 be able to access the descriptor chains the driver created and the
 memory they refer to. This is why a memory barrier is generally
-used before the index update, to ensure it sees the most up-to-date
+used before the \field{idx} update, to ensure it sees the most up-to-date
 copy.
 
-The index field always increments, and the driver can let it wrap naturally at
+\field{idx} always increments, and the driver can let it wrap naturally at
 65536:
 
 \begin{lstlisting}
@@ -685,20 +685,20 @@ avail->idx += added;
 
 The actual method of device notification is bus-specific, but generally
 it can be expensive.  So the device MAY suppress such notifications if it
-doesn't need them.  The driver has to be careful to expose the new index
+doesn't need them.  The driver has to be careful to expose the new \field{idx}
 value before checking if notifications are suppressed: the driver MAY notify
 gratuitously, but MUST NOT to omit a required notification. So again,
-the driver SHOULD use a memory barrier here before reading the flags or the
-avail_event field.
+the driver SHOULD use a memory barrier here before reading \field{flags} or
+\field{avail_event}.
 
 If the VIRTIO_F_RING_EVENT_IDX feature is not negotiated, and if the
 VRING_USED_F_NOTIFY flag is not set, the driver SHOULD notify the
 device.
 
-If the VIRTIO_F_RING_EVENT_IDX feature is negotiated, the driver reads the
-avail_event field in the available ring structure. If the
-available index crossed_the avail_event field value since the
-last notification, the driver SHOULD notify the device.  The avail_event field wraps naturally at 65536 as well,
+If the VIRTIO_F_RING_EVENT_IDX feature is negotiated, the driver reads
+\field{avail_event} in the available ring structure. If the
+available \field{idx} crossed \field{avail_event} value since the
+last notification, the driver SHOULD notify the device.  \field{avail_event} wraps naturally at 65536 as well,
 giving the following algorithm for calculating whether a device needs
 notification:
 
@@ -715,21 +715,21 @@ similar to the algorithm used for the driver to send the device a
 buffer:
 
 \begin{enumerate}
-\item Write the head descriptor number to the next field in the used
+\item Write the head descriptor number to the next entry in the used
   ring.
 
-\item Update the used ring index.
+\item Update the used ring \field{idx}.
 
 \item Deliver an interrupt if necessary:
 
   \begin{enumerate}
   \item If the VIRTIO_F_RING_EVENT_IDX feature is not negotiated:
     check if the VRING_AVAIL_F_NO_INTERRUPT flag is not set in
-    avail->flags.
+    \field{flags} in the available structure.
 
   \item If the VIRTIO_F_RING_EVENT_IDX feature is negotiated: check
-    whether the used index crossed the used_event field value
-    since the last update. The used_event field wraps naturally
+    whether the used \field{idx} crossed the \field{used_event} value
+    since the last update. \field{used_event} wraps naturally
     at 65536 as well:
 \begin{lstlisting}
 (u16)(new_idx - used_event - 1) < (u16)(new_idx - old_idx)
@@ -738,10 +738,10 @@ buffer:
 \end{enumerate}
 
 For each ring, the driver MAY then disable interrupts by writing
-VRING_AVAIL_F_NO_INTERRUPT flag in avail structure, if required.
+VRING_AVAIL_F_NO_INTERRUPT to \field{flags} in available structure, if required.
 Once it has processed the ring entries, it SHOULD re-enable
-interrupts by clearing the VRING_AVAIL_F_NO_INTERRUPT flag or updating the
-EVENT_IDX field in the available structure.  The driver SHOULD then
+interrupts by clearing VRING_AVAIL_F_NO_INTERRUPT in \field{flags} or updating
+\field{event_idx} in the available structure.  The driver SHOULD then
 execute a memory barrier, and then recheck the ring empty
 condition. This is necessary to handle the case where after the
 last check and before enabling interrupts, an interrupt has been
@@ -778,7 +778,7 @@ A driver MUST NOT alter descriptor table entries which have been
 exposed in the available ring (and not marked consumed by the device
 in the used ring) of a live virtqueue.
 
-A driver MUST NOT decrement the available index on a live virtqueue (ie.
+A driver MUST NOT decrement the available \field{idx} on a live virtqueue (ie.
 do not try to "unexpose" buffers).
 
 Thus a driver MUST ensure a virtqueue isn't live (by device reset) before removing exposed buffers.
@@ -849,25 +849,25 @@ struct virtio_pci_cap {
 \end{lstlisting}
 
 This structure can be followed by extra data, depending on
-cfg_type, as documented below.  The device MAY append extra data
-or padding to any structure beyond that, the device MUST accept a cap_len field
+\field{cfg_type}, as documented below.  The device MAY append extra data
+or padding to any structure beyond that, the device MUST accept a \field{cap_len} value
 which is larger than specified here.
 
 The fields are interpreted as follows:
 
 \begin{description}
-\item[cap_vndr]
+\item[\field{cap_vndr}]
         0x09; Identifies a vendor-specific capability.
 
-\item[cap_next]
+\item[\field{cap_next}]
         Link to next capability in the capability list in the configuration space.
 
-\item[cap_len]
+\item[\field{cap_len}]
         Length of this capability structure, including the whole of
         struct virtio_pci_cap, and extra data if any.
         This length MAY include padding, or fields unused by the driver.
 
-\item[cfg_type]
+\item[\field{cfg_type}]
         identifies the structure, according to the following table:
 
 \begin{lstlisting}
@@ -885,7 +885,7 @@ The fields are interpreted as follows:
 
         Any other value - reserved for future use. Drivers MUST
         ignore any vendor-specific capability structure which has
-        a reserved cfg_type value.
+        a reserved \field{cfg_type} value.
 
         The device MAY offer more than one structure of any type - this makes it
         possible for the device to expose multiple interfaces to drivers.  The order of
@@ -893,14 +893,14 @@ The fields are interpreted as follows:
         suggested by the device; drivers SHOULD use the first interface that they can
         support.  For example, on some hypervisors, notifications using IO accesses are
         faster than memory accesses. In this case, the device would expose two
-        capabilities with cfg_type set to VIRTIO_PCI_CAP_NOTIFY_CFG:
+        capabilities with \field{cfg_type} set to VIRTIO_PCI_CAP_NOTIFY_CFG:
         the first one addressing an I/O BAR, the second one addressing a memory BAR.
         In this example, the driver SHOULD use the I/O BAR if I/O resources are available, and fall back on
         memory BAR when I/O resources are unavailable.
 
         Each structure is detailed individually below.
 
-\item[bar]
+\item[\field{bar}]
         values 0x0 to 0x5 specify a Base Address register (BAR) belonging to
         the function located beginning at 10h in Configuration Space
         and used to map the structure into Memory or I/O Space.
@@ -909,21 +909,21 @@ The fields are interpreted as follows:
 
         Any other value is reserved for future use. Drivers MUST
         ignore any vendor-specific capability structure which has
-        a reserved bar value.
+        a reserved \field{bar} value.
 
-\item[offset]
+\item[\field{offset}]
         indicates where the structure begins relative to the base address associated
         with the BAR.
 
-\item[length]
+\item[\field{length}]
         indicates the length of the structure.
 
-        length MAY include padding, or fields unused by the driver, or
+        \field{length} MAY include padding, or fields unused by the driver, or
         future extensions.
 
         Drivers SHOULD only map part of configuration structure
         large enough for device operation.  Drivers MUST handle
-        unexpectedly large length fields, but MAY check that length
+        an unexpectedly large \field{length}, but MAY check that \field{length}
         is large enough for device operation.
 
         For example, a future device might present a large structure size of several
@@ -936,7 +936,7 @@ The fields are interpreted as follows:
 
 \subsubsection{Common configuration structure layout}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI Device Layout / Common configuration structure layout}
 
-The common configuration structure is found at the bar and offset within the VIRTIO_PCI_CAP_COMMON_CFG capability; its layout is below.
+The common configuration structure is found at the \field{bar} and \field{offset} within the VIRTIO_PCI_CAP_COMMON_CFG capability; its layout is below.
 
 The device MUST present at least one common configuration capability.
 
@@ -965,76 +965,76 @@ struct virtio_pci_common_cfg {
 \end{lstlisting}
 
 \begin{description}
-\item[device_feature_select]
-        The driver uses this to select which feature bits the device_feature field shows.
+\item[\field{device_feature_select}]
+        The driver uses this to select which feature bits \field{device_feature} shows.
         Value 0x0 selects Feature Bits 0 to 31, 0x1 selects Feature Bits 32 to 63.
-        The device MUST present 0 on device_feature for any other value, but the driver MUST NOT rely on this.
+        The device MUST present 0 on \field{device_feature} for any other value, but the driver MUST NOT rely on this.
 
-\item[device_feature]
+\item[\field{device_feature}]
         The device uses this to report which feature bits it is
         offering to the driver: the driver writes to
-        device_feature_select to select which are presented.
+        \field{device_feature_select} to select which are presented.
 
-\item[driver_feature_select]
-        The driver uses this to select which feature bits the driver_feature field shows.
+\item[\field{driver_feature_select}]
+        The driver uses this to select which feature bits \field{driver_feature} shows.
         Value 0x0 selects Feature Bits 0 to 31, 0x1 selects Feature Bits 32 to 63.
-        When set to any other value, the device MUST return 0 on reads from driver_feature
-        return 0, and ignore writing of 0 into driver_feature.  The driver
-        MUST not write any other value into driver_feature (a corollary of
+        When set to any other value, the device MUST return 0 on reads from \field{driver_feature}
+        return 0, and ignore writing of 0 into \field{driver_feature}.  The driver
+        MUST not write any other value into \field{driver_feature} (a corollary of
         the rule that the driver can only write a subset of device features).
 
-\item[driver_feature]
+\item[\field{driver_feature}]
         The driver writes this to accept feature bits offered by the device.
-        Driver Feature Bits selected by driver_feature_select.
+        Driver Feature Bits selected by \field{driver_feature_select}.
 
-\item[msix_config]
+\item[\field{config_msix_vector}]
         The driver sets the Configuration Vector for MSI-X.
 
-\item[num_queues]
+\item[\field{num_queues}]
         The device specifies the maximum number of virtqueues supported here.
 
-\item[device_status]
-        The driver writes the Device Status here. Writing 0 into this
+\item[\field{device_status}]
+        The driver writes the device status here (see \ref{sec:Basic Facilities of a Virtio Device / Device Status Field}). Writing 0 into this
         field resets the device.
 
-\item[config_generation]
+\item[\field{config_generation}]
         Configuration atomicity value.  The device changes this every time the
         configuration noticeably changes.  This means the device may
         only change the value after a configuration read operation,
         but MUST change it if there is any risk of a driver seeing an
         inconsistent configuration state.
 
-\item[queue_select]
+\item[\field{queue_select}]
         Queue Select. The driver selects which virtqueue the following
         fields refer to.
 
-\item[queue_size]
+\item[\field{queue_size}]
         Queue Size.  On reset, specifies the maximum queue size supported by
         the hypervisor. This can be modified by driver to reduce memory requirements.
         The device MUST set this to 0 if this virtqueue is unavailable.
 
-\item[queue_msix_vector]
-        The driver uses this to specify the Queue Vector for MSI-X.
+\item[\field{queue_msix_vector}]
+        The driver uses this to specify the queue vector for MSI-X.
 
-\item[queue_enable]
+\item[\field{queue_enable}]
         The driver uses this to selectively prevent the device from executing requests from this virtqueue.
         1 - enabled; 0 - disabled.
 
         The driver MUST configure the other virtqueue fields before enabling
         the virtqueue.
 
-\item[queue_notify_off]
+\item[\field{queue_notify_off}]
         The driver reads this to calculate the offset from start of Notification structure at
         which this virtqueue is located.
         Note: this is *not* an offset in bytes. See \ref{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI Device Layout / Notification capability} below.
 
-\item[queue_desc]
+\item[\field{queue_desc}]
         The driver writes the physical address of Descriptor Table here.
 
-\item[queue_avail]
+\item[\field{queue_avail}]
         The driver writes the physical address of Available Ring here.
 
-\item[queue_used]
+\item[\field{queue_used}]
         The driver writes the physical address of Used Ring here.
 \end{description}
 
@@ -1053,24 +1053,24 @@ struct virtio_pci_notify_cap {
 };
 \end{lstlisting}
 
-The device MUST present an even cap.length of at least 2.
+The device MUST present an even \field{cap.length} of at least 2.
 
-The device MUST present notify_off_multiplier as an even power of 2,
-or 0.  The device MUST ignore a capability with notify_off_multiplier
+The device MUST present \field{notify_off_multiplier} as an even power of 2,
+or 0.  The device MUST ignore a capability with \field{notify_off_multiplier}
 of 1.
 
-notify_off_multiplier field is combined with the queue_notify_off to
+\field{notify_off_multiplier} is combined with the \field{queue_notify_off} to
 derive the Queue Notify address within a BAR for a specific queue:
 
 \begin{lstlisting}
         cap.offset + queue_notify_off * notify_off_multiplier
 \end{lstlisting}
 
-The BAR, offset and notify_off_multiplier are taken from the
-notification capability structure above, and the queue_notify_off is
+The \field{bar}, \field{offset} and \field{notify_off_multiplier} are taken from the
+notification capability structure above, and the \field{queue_notify_off} is
 taken from the common configuration structure.
 
-For example, if notifier_off_multiplier is 0, all queues will use the same 
+For example, if \field{notifier_off_multiplier} is 0, all queues will use the same 
 Queue Notify address.
 
 \subsubsection{ISR status capability}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI Device Layout / ISR status capability}
@@ -1102,23 +1102,23 @@ To access a device region, the driver writes into the capability
 structure (ie. within the PCI configuration space) as follows:
 
 \begin{itemize}
-\item The driver sets the BAR to access by writing to the cap.bar field.
+\item The driver sets the BAR to access by writing to \field{cap.bar}.
 
 \item The driver sets the size of the access by writing 1, 2 or 4 to
-  the cap.length field.
+  \field{cap.length}.
 
-\item The driver sets the offset within the BAR by writing to the
-  cap.offset field.  The driver MUST NOT write an offset which is not
-  a multiple of cap.length (ie. all accesses must be aligned).
+\item The driver sets the offset within the BAR by writing to
+  \field{cap.offset}.  The driver MUST NOT write an offset which is not
+  a multiple of \field{cap.length} (ie. all accesses must be aligned).
 \end{itemize}
 
 At that point, the pci_cfg_data field will provide a window of size
-cap.length into the given cap.bar at offset cap.offset: writes will
+\field{cap.length} into the given \field{cap.bar} at offset \field{cap.offset}: writes will
 have the same effect as writes into the BAR, and reads will have the
 same effect and return the same value as reads from the BAR.
 
 The driver MUST perform reads/writes from/to pci_cfg_data of the same
-width as given by cap.length.
+width as given by \field{cap.length}.
 
 \subsubsection{Legacy Interfaces: A Note on PCI Device Layout}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI Device Layout / Legacy Interfaces: A Note on PCI Device Layout}
 
@@ -1147,7 +1147,7 @@ When used through the legacy interface, the virtio header looks as follows:
  Read / Write & R & R+W & R+W & R & R+W & R+W & R+W & R \\
 \hline
  Purpose & Device Features bits 0:31 & Driver Features bits 0:31 &
-  Queue Address & Queue Size & Queue Select & Queue Notify &
+  Queue Address & \field{queue_size} & \field{queue_select} & Queue Notify &
   Device Status & ISR \newline Status \\
 \hline
 \end{tabularx}
@@ -1161,7 +1161,7 @@ Bits       & 16             & 16     \\
 \hline
 Read/Write & R+W            & R+W    \\
 \hline
-Purpose (MSI-X) & Configuration Vector  & Queue Vector \\
+Purpose (MSI-X) & \field{config_msix_vector}  & \field{queue_msix_vector} \\
 \hline
 \end{tabular}
 
@@ -1189,7 +1189,7 @@ Legacy Interface. When used through the Legacy Interface,
 Transitional Devices must assume that Feature Bits 32 to 63
 are not acknowledged by Driver.
 
-As legacy devices had no configuration generation field,
+As legacy devices had no \field{config_generation} field,
 see \ref{sec:Basic Facilities of a Virtio Device / Configuration Space / Legacy Interface: Configuration Space}~\nameref{sec:Basic Facilities of a Virtio Device / Configuration Space / Legacy Interface: Configuration Space} for workarounds.
 
 \subsection{PCI-specific Initialization And Device Operation}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation}
@@ -1244,12 +1244,11 @@ driver attempts to drive them:
 \paragraph{Queue Vector Configuration}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Device Initialization / Queue Vector Configuration}
 
 When MSI-X capability is present and enabled in the device
-(through standard PCI configuration space) Configuration/Queue
-MSI-X Vector registers are used to map configuration change and queue
+(through standard PCI configuration space) \field{config_msix_vector} and \field{queue_msix_vector} are used to map configuration change and queue
 interrupts to MSI-X vectors. In this case, the ISR Status is unused.
 
-Writing a valid MSI-X Table entry number, 0 to 0x7FF, to one of
-Configuration/Queue Vector registers, maps interrupts triggered
+Writing a valid MSI-X Table entry number, 0 to 0x7FF, to
+\field{config_msix_vector}/\field{queue_msix_vector} maps interrupts triggered
 by the configuration change/selected queue events respectively to
 the corresponding MSI-X vector. To disable interrupts for a
 specific event type, unmap it by writing a special NO_VECTOR
@@ -1283,15 +1282,13 @@ configuration.
 The driver does this as follows, for each virtqueue a device has:
 
 \begin{enumerate}
-\item Write the virtqueue index (first queue is 0) to the Queue
-  Select field.
+\item Write the virtqueue index (first queue is 0) to \field{queue_select}.
 
-\item Read the virtqueue size from the Queue Size field, which MUST
+\item Read the virtqueue size from \field{queue_size}, which MUST
    be a power of 2. This controls how big the virtqueue is
   (see \ref{sec:Basic Facilities of a Virtio Device / Virtqueues}~\nameref{sec:Basic Facilities of a Virtio Device / Virtqueues}). If this field is 0, the virtqueue does not exist.
 
-\item Optionally, select a smaller virtqueue size and write it in the Queue Size
-   field.
+\item Optionally, select a smaller virtqueue size and write it to \field{queue_size}.
 
 \item Allocate and zero Descriptor Table, Available and Used rings for the
    virtqueue in contiguous physical memory.
@@ -1299,8 +1296,8 @@ The driver does this as follows, for each virtqueue a device has:
 \item Optionally, if MSI-X capability is present and enabled on the
   device, select a vector to use to request interrupts triggered
   by virtqueue events. Write the MSI-X Table entry number
-  corresponding to this vector in Queue Vector field. Read the
-  Queue Vector field: on success, previously written value is
+  corresponding to this vector into \field{queue_msix_vector}. Read
+  \field{queue_msix_vector}: on success, previously written value is
   returned; on failure, NO_VECTOR value is returned.
 \end{enumerate}
 
@@ -1319,7 +1316,7 @@ of this virtqueue to the Queue Notify address.  See \ref{sec:Virtio Transport Op
 
 \subsubsection{Virtqueue Interrupts From The Device}\label{sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Virtqueue Interrupts From The Device}
 
-If an interrupt is necessary, the device SHOULD:
+If an interrupt is necessary for a virtqueue, the device SHOULD:
 
 \begin{itemize}
   \item If MSI-X capability is disabled:
@@ -1332,10 +1329,10 @@ If an interrupt is necessary, the device SHOULD:
   \item If MSI-X capability is enabled:
     \begin{enumerate}
     \item Request the appropriate MSI-X interrupt message for the
-      device, Queue Vector field sets the MSI-X Table entry
+      device, \field{queue_msix_vector} sets the MSI-X Table entry
       number.
 
-    \item If Queue Vector field value is NO_VECTOR, no interrupt
+    \item If the vector field value is NO_VECTOR, no interrupt
       message is requested for this event, so the device MUST NOT
       deliver an interrupt.
     \end{enumerate}
@@ -1372,8 +1369,8 @@ state, as reflected in the device-specific region of the device. In this case:
   MUST be scanned.
 
   \item If MSI-X capability is enabled: an interrupt message is
-  requested. The Configuration Vector field sets the MSI-X Table
-  entry number to use. If Configuration Vector field value is
+  requested. \field{config_msix_vector} sets the MSI-X Table
+  entry number to use. If \field{config_msix_vector} is
   NO_VECTOR, no interrupt message is requested for this event and
   the device MUST NOT deliver an interrupt.
 \end{itemize}
@@ -1420,7 +1417,7 @@ All register values are organized as Little Endian.
 
 
 \newcommand{\mmioreg}[5]{% Name Function Offset Direction Description
-  {\bf#1} \newline #3 \newline #4 & {\bf#2} \newline #5 \\
+  {\field{#1}} \newline #3 \newline #4 & {\bf#2} \newline #5 \\
 }
 
 \newcommand{\mmiodreg}[7]{% NameHigh NameLow Function OffsetHigh OffsetLow Direction Description
@@ -1469,42 +1466,42 @@ All register values are organized as Little Endian.
   \hline 
   \mmioreg{DeviceFeatures}{Flags representing features the device supports}{0x010}{R}{%
     Reading from this register returns 32 consecutive flag bits,
-    first bit depending on the last value written to the
-    DeviceFeaturesSel register. Access to this register returns
-    bits $DeviceFeaturesSel*32$ to $(DeviceFeaturesSel*32)+31$, eg.
-    feature bits 0 to 31 if DeviceFeaturesSel is set to 0 and
-    features bits 32 to 63 if DeviceFeaturesSel is set to 1.
+    first bit depending on the last value written to
+    \field{DeviceFeaturesSel}. Access to this register returns
+    bits $\field{DeviceFeaturesSel}*32$ to $(\field{DeviceFeaturesSel}*32)+31$, eg.
+    feature bits 0 to 31 if \field{DeviceFeaturesSel} is set to 0 and
+    features bits 32 to 63 if \field{DeviceFeaturesSel} is set to 1.
     Also see \ref{sec:Basic Facilities of a Virtio Device / Feature Bits}~\nameref{sec:Basic Facilities of a Virtio Device / Feature Bits}.
   }
   \hline 
   \mmioreg{DeviceFeaturesSel}{Device (host) features word selection.}{0x014}{W}{%
     Writing to this register selects a set of 32 device feature bits
-    accessible by reading from the DeviceFeatures register. The driver
-    MUST write a value to the DeviceFeaturesSel register before
-    reading from the DeviceFeatures register.
+    accessible by reading from \field{DeviceFeatures}. The driver
+    MUST write a value to \field{DeviceFeaturesSel} before
+    reading from \field{DeviceFeatures}.
   }
   \hline 
   \mmioreg{DriverFeatures}{Flags representing device features understood and activated by the driver}{0x020}{W}{%
     Writing to this register sets 32 consecutive flag bits, first
-    bit depending on the last value written to the DriverFeaturesSel
-    register. Access to this register sets bits $DriverFeaturesSel*32$
-    to $(DriverFeaturesSel*32)+31$, eg. feature bits 0 to 31 if
-    DriverFeaturesSel is set to 0 and features bits 32 to 63 if
-    DriverFeaturesSel is set to 1. Also see \ref{sec:Basic Facilities of a Virtio Device / Feature Bits}~\nameref{sec:Basic Facilities of a Virtio Device / Feature Bits}.
+    bit depending on the last value written to \field{DriverFeaturesSel}.
+     Access to this register sets bits $\field{DriverFeaturesSel}*32$
+    to $(\field{DriverFeaturesSel}*32)+31$, eg. feature bits 0 to 31 if
+    \field{DriverFeaturesSel} is set to 0 and features bits 32 to 63 if
+    \field{DriverFeaturesSel} is set to 1. Also see \ref{sec:Basic Facilities of a Virtio Device / Feature Bits}~\nameref{sec:Basic Facilities of a Virtio Device / Feature Bits}.
   }
   \hline 
   \mmioreg{DriverFeaturesSel}{Activated (guest) features word selection}{0x024}{W}{%
     Writing to this register selects a set of 32 activated feature
-    bits accessible by writing to the DriverFeatures register.
-    The driver MUST write a value to the DriverFeaturesSel
-    register before writing to the DriverFeatures register.
+    bits accessible by writing to \field{DriverFeatures}.
+    The driver MUST write a value to the \field{DriverFeaturesSel}
+    register before writing to the \field{DriverFeatures} register.
   }
   \hline 
   \mmioreg{QueueSel}{Virtual queue index}{0x030}{W}{%
     Writing to this register selects the virtual queue that the
-    following operations on the QueueNumMax, QueueNum, QueueReady,
-    QueueDescLow, QueueDescHigh, QueueAvailLow, QueueAvailHigh,
-    QueueUsedLow and QueueUsedHigh registers apply to. The index
+    following operations on \field{QueueNumMax}, \field{QueueNum}, \field{QueueReady},
+    \field{QueueDescLow}, \field{QueueDescHigh}, \field{QueueAvailLow}, \field{QueueAvailHigh},
+    \field{QueueUsedLow} and \field{QueueUsedHigh} apply to. The index
     number of the first queue is zero (0x0). 
   }
   \hline 
@@ -1512,8 +1509,8 @@ All register values are organized as Little Endian.
     Reading from the register returns the maximum size (number of
     elements) of the queue the device is ready to process or
     zero (0x0) if the queue is not available. This applies to the
-    queue selected by writing to QueueSel. The driver MUST NOT
-    access this register when the queue is in use (so when QueueReady
+    queue selected by writing to \field{QueueSel}. The driver MUST NOT
+    access this register when the queue is in use (so when \field{QueueReady}
     is not zero).
   }
   \hline 
@@ -1522,15 +1519,15 @@ All register values are organized as Little Endian.
     of the Descriptor Table and both Available and Used rings.
     Writing to this register notifies the device what size of the
     queue the driver will use. This applies to the queue selected by
-    writing to QueueSel. The driver MUST NOT access this register when
-    the queue is in use (so when QueueReady is not zero).
+    writing to \field{QueueSel}. The driver MUST NOT access this register when
+    the queue is in use (so when \field{QueueReady} is not zero).
   }
   \hline 
   \mmioreg{QueueReady}{Virtual queue ready bit}{0x044}{RW}{%
     Writing one (0x1) to this register notifies the device that the
     virtual queue is ready to be used. Reading from this register
     returns the last value written to it. Both read and write
-    accesses apply to the queue selected by writing to QueueSel.
+    accesses apply to the queue selected by writing to \field{QueueSel}.
     When the driver wants to stop using the queue it MUST write
     zero (0x0) to this register and MUST read the value back to
     ensure synchronisation.
@@ -1566,7 +1563,7 @@ All register values are organized as Little Endian.
     has been handled.
     When the driver finishes handling an interrupt, it MUST write
     a value to this register with bits corresponding to the handled
-    events (as defined for the InterruptStatus register) set, ie.
+    events (as defined for \field{InterruptStatus}) set, ie.
     equal one (1), and all other bits cleared, ie. equal zero (0).
   }
   \hline 
@@ -1576,35 +1573,35 @@ All register values are organized as Little Endian.
     Writing non-zero values to this register sets the status flags,
     indicating the driver progress. Writing zero (0x0) to this
     register triggers a device reset, including clearing all
-    bits in the InterruptStatus register and ready bits in the
-    QueueReady register for all queues in the device. 
+    bits in \field{InterruptStatus} and ready bits in the
+    \field{QueueReady} register for all queues in the device. 
     See also p. \ref{sec:Virtio Transport Options / Virtio Over MMIO / MMIO-specific Initialization And Device Operation / Device Initialization}~\nameref{sec:Virtio Transport Options / Virtio Over MMIO / MMIO-specific Initialization And Device Operation / Device Initialization}.
   }
   \hline 
   \mmiodreg{QueueDescLow}{QueueDescHigh}{Virtual queue's Descriptor Table 64 bit long physical address}{0x080}{0x084}{W}{%
     Writing to these two registers (lower 32 bits of the address
-    to QueueDescLow, higher 32 bits to QueueDescHigh) notifies
+    to \field{QueueDescLow}, higher 32 bits to \field{QueueDescHigh}) notifies
     the device about location of the Descriptor Table of the queue
-    selected by writing to the QueueSel register. The driver MUST NOT
-    access this register when the queue is in use (so when QueueReady
+    selected by writing to \field{QueueSel} register. The driver MUST NOT
+    access this register when the queue is in use (so when \field{QueueReady}
     is not zero).
   }
   \hline 
   \mmiodreg{QueueAvailLow}{QueueAvailHigh}{Virtual queue's Available Ring 64 bit long physical address}{0x090}{0x094}{W}{%
     Writing to these two registers (lower 32 bits of the address
-    to QueueAvailLow, higher 32 bits to QueueAvailHigh) notifies
+    to \field{QueueAvailLow}, higher 32 bits to \field{QueueAvailHigh}) notifies
     the device about location of the Available Ring of the queue
-    selected by writing to the QueueSel register. The driver MUST NOT
-    access this register when the queue is in use (so when QueueReady
+    selected by writing to \field{QueueSel}. The driver MUST NOT
+    access this register when the queue is in use (so when \field{QueueReady}
     is not zero).
   }
   \hline 
   \mmiodreg{QueueUsedLow}{QueueUsedHigh}{Virtual queue's Used Ring 64 bit long physical address}{0x0a0}{0x0a4}{W}{%
     Writing to these two registers (lower 32 bits of the address
-    to QueueUsedLow, higher 32 bits to QueueUsedHigh) notifies
+    to \field{QueueUsedLow}, higher 32 bits to \field{QueueUsedHigh}) notifies
     the device about location of the Used Ring of the queue
-    selected by writing to the QueueSel register. The driver MUST NOT
-    access this register when the queue is in use (so when QueueReady
+    selected by writing to \field{QueueSel}. The driver MUST NOT
+    access this register when the queue is in use (so when \field{QueueReady}
     is not zero).
   }
   \hline 
@@ -1628,8 +1625,8 @@ All register values are organized as Little Endian.
 \subsubsection{Device Initialization}\label{sec:Virtio Transport Options / Virtio Over MMIO / MMIO-specific Initialization And Device Operation / Device Initialization}
 
 The driver MUST start the device initialization by reading and
-checking values from the MagicValue and the Version registers.
-If both values are valid, it MUST read the DeviceID register
+checking values from \field{MagicValue} and \field{Version}.
+If both values are valid, it MUST read \field{DeviceID}
 and if its value is zero (0x0) MUST abort initialization and
 MUST NOT access any other register.
 
@@ -1641,14 +1638,14 @@ Further initialization MUST follow the procedure described in
 The driver MUST initialize the virtual queue in the following way:
 
 \begin{enumerate}
-\item Select the queue writing its index (first queue is 0) to the
-   QueueSel register.
+\item Select the queue writing its index (first queue is 0) to
+   \field{QueueSel}.
 
-\item Check if the queue is not already in use: read the QueueReady
-   register, returned value should be zero (0x0).
+\item Check if the queue is not already in use: read \field{QueueReady},
+   returned value should be zero (0x0).
 
-\item Read maximum queue size (number of elements) from the
-   QueueNumMax register. If the returned value is zero (0x0) the
+\item Read maximum queue size (number of elements) from
+   \field{QueueNumMax}. If the returned value is zero (0x0) the
    queue is not available.
 
 \item Allocate and zero the queue pages, making sure the memory
@@ -1658,32 +1655,33 @@ The driver MUST initialize the virtual queue in the following way:
    the maximum size returned by the device.
 
 \item Notify the device about the queue size by writing the size to
-   the QueueNum register.
+   \field{QueueNum}.
 
 \item Write physical addresses of the queue's Descriptor Table,
-   Available Ring and Used Ring to (respectively) the QueueDescLow/
-   QueueDescHigh, QueueAvailLow/QueueAvailHigh and QueueUsedLow/
-   QueueUsedHigh register pairs.
+   Available Ring and Used Ring to (respectively) the
+   \field{QueueDescLow}/\field{QueueDescHigh},
+   \field{QueueAvailLow}/\field{QueueAvailHigh} and
+   \field{QueueUsedLow}/\field{QueueUsedHigh} register pairs.
 
-\item Write 0x1 to the QueueReady register.
+\item Write 0x1 to \field{QueueReady}.
 \end{enumerate}
 
 \subsubsection{Notifying The Device}\label{sec:Virtio Transport Options / Virtio Over MMIO / MMIO-specific Initialization And Device Operation / Notifying The Device}
 
 The driver MUST notify the device about new buffers being available in
-a queue by writing the index of the updated queue to the QueueNotify register.
+a queue by writing the index of the updated queue to \field{QueueNotify}.
 
 \subsubsection{Notifications From The Device}\label{sec:Virtio Transport Options / Virtio Over MMIO / MMIO-specific Initialization And Device Operation / Notifications From The Device}
 
 The memory mapped virtio device is using a single, dedicated
 interrupt signal, which is asserted when at least one of the
-bits described in the InterruptStatus register
-description is set. This way the device may notify the
+bits described in the description of \field{InterruptStatus}
+is set. This way the device may notify the
 driver about a new used buffer being available in the queue
 or about a change in the device configuration.
 
-After receiving an interrupt, the driver MUST read the
-InterruptStatus register to check what caused the interrupt
+After receiving an interrupt, the driver MUST read
+\field{InterruptStatus} to check what caused the interrupt
 (see the register description). After the interrupt is handled,
 the driver MUST acknowledge it by writing a bit mask
 corresponding to the handled events to the InterruptACK register.
@@ -1740,8 +1738,8 @@ nor behaviour:
   \hline
   \mmioreg{QueueSel}{Virtual queue index}{0x030}{W}{%
     Writing to this register selects the virtual queue that the
-    following operations on the QueueNumMAx, QueueNum, QueueAlign
-    and QueuePFN registers apply to. The index
+    following operations on the \field{QueueNumMax}, \field{QueueNum}, \field{QueueAlign}
+    and \field{QueuePFN} registers apply to. The index
     number of the first queue is zero (0x0). 
 .
   }
@@ -1749,8 +1747,8 @@ nor behaviour:
   \mmioreg{QueueNumMax}{Maximum virtual queue size}{0x034}{R}{%
     Reading from the register returns the maximum size of the queue
     the device is ready to process or zero (0x0) if the queue is not
-    available. This applies to the queue selected by writing to the
-    QueueSel and is allowed only when the QueuePFN is set to zero
+    available. This applies to the queue selected by writing to
+    \field{QueueSel} and is allowed only when \field{QueuePFN} is set to zero
     (0x0), so when the queue is not actively used.
   }
   \hline
@@ -1759,14 +1757,13 @@ nor behaviour:
     of the descriptor table and both available and used rings.
     Writing to this register notifies the device what size of the
     queue the driver will use. This applies to the queue selected by
-    writing to the QueueSel register.
+    writing to \field{QueueSel}.
   }
   \hline
   \mmioreg{QueueAlign}{Used Ring alignment in the virtual queue}{0x03c}{W}{%
     Writing to this register notifies the device about alignment
     boundary of the Used Ring in bytes. This value MUST be a power
-    of 2 and applies to the queue selected by writing to the QueueSel
-    register.
+    of 2 and applies to the queue selected by writing to \field{QueueSel}.
   }
   \hline
   \mmioreg{QueuePFN}{Guest physical page number of the virtual queue}{0x040}{RW}{%
@@ -1780,7 +1777,7 @@ nor behaviour:
     number of the queue, therefore a value other than zero (0x0)
     means that the queue is in use.
     Both read and write accesses apply to the queue selected by
-    writing to the QueueSel register.
+    writing to \field{QueueSel}.
   }
   \hline
   \mmioreg{QueueNotify}{Queue notifier}{0x050}{W}{}
@@ -1795,7 +1792,7 @@ nor behaviour:
     Writing non-zero values to this register sets the status flags,
     indicating the OS/driver progress. Writing zero (0x0) to this
     register triggers a device reset. This should include
-    setting QueuePFN to zero (0x0) for all queues in the device.
+    setting \field{QueuePFN} to zero (0x0) for all queues in the device.
     Also see \ref{sec:General Initialization And Device Operation / Device Initialization}~\nameref{sec:General Initialization And Device Operation / Device Initialization}.
   }
   \hline
@@ -1803,24 +1800,24 @@ nor behaviour:
   \hline
 \end{longtable}
 
-The virtual queue page size is defined by writing to the GuestPageSize
-register, as written by the guest. This must be done before the
+The virtual queue page size is defined by writing to \field{GuestPageSize},
+as written by the guest. This must be done before the
 virtual queues are configured.
 
 The virtual queue layout follows