From: Keir Fraser <keir@xen.org>
Date: Tue, 6 Sep 2011 14:49:40 +0000 (+0100)
Subject: docs: Fix 'make docs'
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~9917
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=090a5436289faaae79b1f49b29f4eeefc89d017e;p=xen.git

docs: Fix 'make docs'

Signed-off-by: Keir Fraser <keir@xen.org>
---

diff --git a/docs/src/user.tex b/docs/src/user.tex
index f743840d6f..c29f4293cc 100644
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -2280,7 +2280,7 @@ writing to the VGA console after domain 0 starts booting (e.g., `vga=text-80x50,
 \item [ vcpu\_migration\_delay=$<$minimum\_time$>$] Set minimum time of 
   vcpu migration in microseconds (default 0). This parameter avoids agressive
   vcpu migration. For example, the linux kernel uses 0.5ms by default.
-\item [ irq_vector_map=xxx ] Enable irq vector non-sharing maps.  Setting 'global' 
+\item [ irq\_vector\_map=xxx ] Enable irq vector non-sharing maps.  Setting 'global' 
   will ensure that no  IRQs will share vectors.  Setting 'per-device' will ensure 
   that no IRQs from the same device will share vectors.  Setting to 'none' will
   disable it entirely, overriding any defaults the IOMMU code may set.