direct-io.hg

changeset 3480:19094c02439e

bitkeeper revision 1.1159.225.1 (41f19001RQR4BW0TNzYlpfwik2LIFg)

Documentation fix.
author iap10@labyrinth.cl.cam.ac.uk
date Fri Jan 21 23:28:01 2005 +0000 (2005-01-21)
parents 439f4f511898
children 67c3042307d4
files docs/src/user.tex
line diff
     1.1 --- a/docs/src/user.tex	Fri Jan 21 02:08:45 2005 +0000
     1.2 +++ b/docs/src/user.tex	Fri Jan 21 23:28:01 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