[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: [PATCH 08/18] Feedback: add normative marker.
From http://docs.oasis-open.org/templates/TCHandbook/ConformanceGuidelines.html:
Normative statements MUST be referenceable so that a statement may be
referenced from another part of a specification, but more importantly
so they can be referenced from Conformance Clauses.
Signed-off-by: Rusty Russell <rusty@au1.ibm.com>
---
commands.tex | 4 ++++
content.tex | 2 ++
2 files changed, 6 insertions(+)
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 88c6d6a..dd9b8a7 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}
--
1.8.3.2
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]