direct-io.hg

changeset 3482:43816da9da60

find changesets by author, revision, files, or words in the commit message
bitkeeper revision 1.1159.224.7 (41f19067YZkt-A5NB4Oq_i9bgxUa7Q)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-2.0-testing.bk
into labyrinth.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
author iap10@labyrinth.cl.cam.ac.uk
date Fri Jan 21 23:29:43 2005 +0000 (2005-01-21)
parents 276d520b998a 67c3042307d4
children 910d464ee588
files docs/src/user.tex
line diff
     1.1 --- a/docs/src/user.tex	Fri Jan 21 19:02:35 2005 +0000
     1.2 +++ b/docs/src/user.tex	Fri Jan 21 23:29:43 2005 +0000
     1.3 @@ -1770,7 +1770,7 @@ editing \path{grub.conf}.
     1.4   possibilities are `bvt' (default), `atropos' and `rrobin'. 
     1.5   For more information see Section~\ref{s:sched}. 
     1.6  
     1.7 -\item [pci\_dom0\_hide=(xx.xx.x)(yy.yy.y)\ldots ] 
     1.8 +\item [physdev\_dom0\_hide=(xx:xx.x)(yy:yy.y)\ldots ]
     1.9  Hide selected PCI devices from domain 0 (for instance, to stop it
    1.10  taking ownership of them so that they can be driven by another
    1.11  domain).  Device IDs should be given in hex format.  Bridge devices do