aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorsmh22@tempest.cl.cam.ac.uk <smh22@tempest.cl.cam.ac.uk>2004-10-21 06:54:28 +0000
committersmh22@tempest.cl.cam.ac.uk <smh22@tempest.cl.cam.ac.uk>2004-10-21 06:54:28 +0000
commitde8916b3fc40e5490749cd1aa372122c9afce9f6 (patch)
tree0a01600933e7a527333f20137e3a039ca65c0c3c
parentb0b2ccdf5463e1cbb434417ee69245f39371ed3a (diff)
downloadxen-de8916b3fc40e5490749cd1aa372122c9afce9f6.tar.gz
xen-de8916b3fc40e5490749cd1aa372122c9afce9f6.tar.bz2
xen-de8916b3fc40e5490749cd1aa372122c9afce9f6.zip
bitkeeper revision 1.1159.1.249 (41775d24oIK7DReIVTg-pB_CtPHuhA)
interface.tex, user.tex: latex fixes
-rw-r--r--docs/interface.tex10
-rw-r--r--docs/user.tex2
2 files changed, 6 insertions, 6 deletions
diff --git a/docs/interface.tex b/docs/interface.tex
index b2b7c32a87..93b6143d39 100644
--- a/docs/interface.tex
+++ b/docs/interface.tex
@@ -758,9 +758,9 @@ xentrace\_format} and {\tt xentrace\_cpusplit}.
Install trap handler table.
-\section{ mmu\_update(mmu\_update\_t *req, int count, int *success_count)}
+\section{ mmu\_update(mmu\_update\_t *req, int count, int *success\_count)}
Update the page table for the domain. Updates can be batched.
-success_count will be updated to report the number of successfull
+success\_count will be updated to report the number of successfull
updates. The update types are:
{\it MMU\_NORMAL\_PT\_UPDATE}:
@@ -866,7 +866,7 @@ set debug register reg to value
\section{ set\_fast\_trap(int idx)}
install traps to allow guest OS to bypass hypervisor
-\section{ dom\_mem\_op(unsigned int op, unsigned long *extent_list, unsigned long nr\_extents, unsigned int extent_order)}
+\section{ dom\_mem\_op(unsigned int op, unsigned long *extent\_list, unsigned long nr\_extents, unsigned int extent\_order)}
Increase or decrease memory reservations for guest OS
\section{ multicall(void *call\_list, int nr\_calls)}
@@ -874,7 +874,7 @@ Execute a series of hypervisor calls
\section{ update\_va\_mapping(unsigned long page\_nr, unsigned long val, unsigned long flags)}
-\section{ set\_timer\_op(uint64_t timeout)}
+\section{ set\_timer\_op(uint64\_t timeout)}
Request a timer event to be sent at the specified system time.
\section{ event\_channel\_op(void *op)}
@@ -896,6 +896,6 @@ Interact with the console, operations are:
\section{ vm\_assist(unsigned int cmd, unsigned int type)}
-\section{ update\_va\_mapping\_otherdomain(unsigned long page\_nr, unsigned long val, unsigned long flags, uint16_t domid)}
+\section{ update\_va\_mapping\_otherdomain(unsigned long page\_nr, unsigned long val, unsigned long flags, uint16\_t domid)}
\end{document}
diff --git a/docs/user.tex b/docs/user.tex
index e4e4ca9a16..c8755b70d7 100644
--- a/docs/user.tex
+++ b/docs/user.tex
@@ -372,7 +372,7 @@ The procedure is similar to build the Linux 2.4 port: \\
The NetBSD port can be built using: \\ \verb!# make netbsd! \\ The
NetBSD port is built using a snapshot of the netbsd-2-0 cvs branch.
The snapshot is downloaded as part of the build process, if it is not
-yet present in the {\tt NETBSD_SRC_PATH} search path. The build
+yet present in the {\tt NETBSD\_SRC\_PATH} search path. The build
process also downloads a toolchain which includes all the tools
necessary to build the NetBSD kernel under Linux.