bitkeeper revision 1.1159.1.249 (41775d24oIK7DReIVTg-pB_CtPHuhA)

interface.tex, user.tex:
  latex fixes

diff --git a/docs/interface.tex b/docs/interface.tex
index b2b7c32a8793716a68ec25facf65b8e7ceb21d8d..93b6143d392e4a1a1dae6452f81cfe3d7a75a2f6 100644 (file)
--- 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 e4e4ca9a16e08e3985c7a433e78a7cb52040d9d1..c8755b70d7055b96d6ba0e898cb410edb955b350 100644 (file)
--- 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.