# HG changeset patch
# User iap10@labyrinth.cl.cam.ac.uk
# Date 1106350081 0
# Node ID 19094c02439e76ac1a1d67946954747f978a0608
# Parent  439f4f511898e1e8f98ec7e3423b1b6a72a524a5
bitkeeper revision 1.1159.225.1 (41f19001RQR4BW0TNzYlpfwik2LIFg)

Documentation fix.


diff -r 439f4f511898 -r 19094c02439e docs/src/user.tex
--- a/docs/src/user.tex	Fri Jan 21 02:08:45 2005 +0000
+++ b/docs/src/user.tex	Fri Jan 21 23:28:01 2005 +0000
@@ -1770,7 +1770,7 @@ editing \path{grub.conf}.
  possibilities are `bvt' (default), `atropos' and `rrobin'. 
  For more information see Section~\ref{s:sched}. 
 
-\item [pci\_dom0\_hide=(xx.xx.x)(yy.yy.y)\ldots ] 
+\item [physdev\_dom0\_hide=(xx:xx.x)(yy:yy.y)\ldots ]
 Hide selected PCI devices from domain 0 (for instance, to stop it
 taking ownership of them so that they can be driven by another
 domain).  Device IDs should be given in hex format.  Bridge devices do