diff options
author | rusty <rusty@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-05-22 04:43:41 +0000 |
---|---|---|
committer | rusty <rusty@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-05-22 04:43:41 +0000 |
commit | 93cd93ebd2fe7714b3a2a74a9ad87967d3e85635 (patch) | |
tree | 2f5ebe996c9b04eafac1c3105ee9984129232ad4 | |
parent | d71f9f169a68ac0a058bab5c61ef0fcf1eed2382 (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.tex | 4 |
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} |