diff options
Diffstat (limited to 'docs/src/user.tex')
| -rw-r--r-- | docs/src/user.tex | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/src/user.tex b/docs/src/user.tex index c6884c0040..ac8c5f8e1e 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -4209,10 +4209,6 @@ writing to the VGA console after domain 0 starts booting (e.g., `vga=text-80x50, \item [ dma\_emergency\_pool=xxx ] Specify lower bound on size of DMA pool below which ordinary allocations will fail rather than fall back to allocating from the DMA pool. -\item [ hap ] Instruct Xen to detect hardware-assisted paging support, such - as AMD-V's nested paging or Intel\textregistered VT's extended paging. If - available, Xen will use hardware-assisted paging instead of shadow paging - for guest memory management. \end{description} In addition, the following options may be specified on the Xen command |