# HG changeset patch
# User iap10@labyrinth.cl.cam.ac.uk
# Date 1106350120 0
# Node ID 67c3042307d46bc0c87e4e25e88c240e6f17fb22
# Parent  d331c6994d28c11dc77d7614cd39cb2e5cfa7d2b# Parent  19094c02439e76ac1a1d67946954747f978a0608
bitkeeper revision 1.1159.223.13 (41f19028mLwjhcmfYFv-mzcynrFuGw)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-2.0-testing.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk


diff -r d331c6994d28 -r 67c3042307d4 docs/src/user.tex
--- a/docs/src/user.tex	Fri Jan 21 18:43:08 2005 +0000
+++ b/docs/src/user.tex	Fri Jan 21 23:28:40 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