summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrusty <rusty@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652>2014-05-22 04:43:41 +0000
committerrusty <rusty@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652>2014-05-22 04:43:41 +0000
commit93cd93ebd2fe7714b3a2a74a9ad87967d3e85635 (patch)
tree2f5ebe996c9b04eafac1c3105ee9984129232ad4
parentd71f9f169a68ac0a058bab5c61ef0fcf1eed2382 (diff)
Fix build of document
Error introduced in 59cd205cea "VIRTIO-98: Add DEVICE_NEEDS_RESET": seems that underscores in labels are verboten: [133] [134] (./virtio-v1.0-csprd02.aux ! Missing \endcsname inserted. <to be read again> \unhbox l.45 ...ts: Device Status Field}}{subsection.1}{}} Signed-off-by: Rusty Russell <rusty@au1.ibm.com> git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@373 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
-rw-r--r--content.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/content.tex b/content.tex
index 71c3de1..6d6a756 100644
--- a/content.tex
+++ b/content.tex
@@ -73,7 +73,7 @@ The device MUST initialize \field{device status} to 0 upon reset.
The device MUST NOT consume buffers or notify the driver before DRIVER_OK.
-\label{sec:Basic Facilities of a Virtio Device / Device Status Field / DEVICE_NEEDS_RESET}The device SHOULD set DEVICE_NEEDS_RESET when it enters an error state
+\label{sec:Basic Facilities of a Virtio Device / Device Status Field / DEVICENEEDSRESET}The device SHOULD set DEVICE_NEEDS_RESET when it enters an error state
that a reset is needed. After it sets DEVICE_NEEDS_RESET, the device
MUST send a device configuration change notification to the driver.
@@ -919,7 +919,7 @@ For devices where the device-specific configuration information can be changed,
interrupt is delivered when a device-specific configuration change occurs.
In addition, this interrupt is triggered by the device setting
-DEVICE_NEEDS_RESET (see \ref{sec:Basic Facilities of a Virtio Device / Device Status Field / DEVICE_NEEDS_RESET}).
+DEVICE_NEEDS_RESET (see \ref{sec:Basic Facilities of a Virtio Device / Device Status Field / DEVICENEEDSRESET}).
\section{Device Cleanup}\label{sec:General Initialization And Device Operation / Device Cleanup}