diff options
| -rw-r--r-- | commands.tex | 4 | ||||
| -rw-r--r-- | content.tex | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/commands.tex b/commands.tex index 671757b..c4b19de 100644 --- a/commands.tex +++ b/commands.tex @@ -8,3 +8,7 @@ % How we format a field name \newcommand{\field}[1]{\emph{#1}} + +% Mark a normative paragraph (driver or device) +\newcommand{\drivernormative}[1]{\phantomsection\label{drivernormative:#1}} +\newcommand{\devicenormative}[1]{\phantomsection\label{devicenormative:#1}} diff --git a/content.tex b/content.tex index 6ab0caa..1589ddb 100644 --- a/content.tex +++ b/content.tex @@ -40,11 +40,13 @@ following bits are defined: even a fatal error during device operation. \end{description} +\drivernormative{Basic Facilities of a Virtio Device / Device Status Field} The driver MUST update \field{device status} in the order above to indicate the driver's progress. The driver MUST NOT clear a \field{device status} bit. If the driver sets the FAILED bit, it MUST reset the device before attempting to re-initialize. +\devicenormative{Basic Facilities of a Virtio Device / Device Status Field} The device MUST initialize \field{device status} to 0 upon reset. \section{Feature Bits}\label{sec:Basic Facilities of a Virtio Device / Feature Bits} |