diff options
| author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-02 13:13:49 +0000 |
|---|---|---|
| committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-02 13:13:49 +0000 |
| commit | b20c81bc15d8f8f5b6c8e134c55d6b3b24d9bf2b (patch) | |
| tree | ed9bdd074984f74e046b0cb9bef627155d37d497 | |
| parent | 69bf4d8fca8dc7cc81d2da39c5bed4791dd3b8a2 (diff) | |
content.tex: fix html build
_ should not be used in labels
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@149 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
| -rw-r--r-- | content.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/content.tex b/content.tex index 7c03e1a..06f75b9 100644 --- a/content.tex +++ b/content.tex @@ -522,10 +522,10 @@ The driver MUST follow this sequence to initialize a device: \item Read device feature bits, and write the subset of feature bits understood by the OS and driver to the device. -\item\label{item:General Initialization And Device Operation / Device Initialization / Set FEATURES_OK} Set the FEATURES_OK status bit. The driver MUST not accept +\item\label{item:General Initialization And Device Operation / Device Initialization / Set FEATURES-OK} Set the FEATURES_OK status bit. The driver MUST not accept new feature bits after this step. -\item\label{item:General Initialization And Device Operation / Device Initialization / Re-read FEATURES_OK} Re-read the status byte to ensure the FEATURES_OK bit is still +\item\label{item:General Initialization And Device Operation / Device Initialization / Re-read FEATURES-OK} Re-read the status byte to ensure the FEATURES_OK bit is still set: otherwise, the device does not support our subset of features and the device is unusable. @@ -533,7 +533,7 @@ The driver MUST follow this sequence to initialize a device: device, optional per-bus setup, reading and possibly writing the device's virtio configuration space, and population of virtqueues. -\item\label{item:General Initialization And Device Operation / Device Initialization / Set DRIVER_OK} Set the DRIVER_OK status bit. At this point the device is +\item\label{item:General Initialization And Device Operation / Device Initialization / Set DRIVER-OK} Set the DRIVER_OK status bit. At this point the device is "live". \end{enumerate} @@ -561,7 +561,7 @@ the initial operation of the device. Legacy device implementations often used the device before setting the DRIVER_OK bit. -The result was the steps \ref{item:General Initialization And Device Operation / Device Initialization / Set FEATURES_OK} and \ref{item:General Initialization And Device Operation / Device Initialization / Re-read FEATURES_OK} were omitted, and steps \ref{item:General Initialization And Device Operation / Device Initialization / Device-specific Setup} and \ref{item:General Initialization And Device Operation / Device Initialization / Set DRIVER_OK} +The result was the steps \ref{item:General Initialization And Device Operation / Device Initialization / Set FEATURES-OK} and \ref{item:General Initialization And Device Operation / Device Initialization / Re-read FEATURES-OK} were omitted, and steps \ref{item:General Initialization And Device Operation / Device Initialization / Device-specific Setup} and \ref{item:General Initialization And Device Operation / Device Initialization / Set DRIVER-OK} were conflated. \section{Device Operation}\label{sec:General Initialization And Device Operation / Device Operation} |