From b789c0ab2ffca627f908765bb34408b5f3f89d85 Mon Sep 17 00:00:00 2001 From: rusty Date: Wed, 26 Feb 2014 03:20:46 +0000 Subject: 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 git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@265 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652 --- 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 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} -- cgit v1.2.3