docs: Fix interface manual to correctly reference

update_va_mapping_otherdomain.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen-unstable changeset:   16517:62717554d4cb72eac230b67054e844c18ab918d7
xen-unstable date:        Tue Dec 04 11:16:41 2007 +0000

diff --git a/docs/src/interface.tex b/docs/src/interface.tex
index a77d4e81c2b6d8719315fd38ddb0027f7a2155d7..e9ec09825b84065ea09877711f7bf04dc990f7d6 100644 (file)
--- a/docs/src/interface.tex
+++ b/docs/src/interface.tex
@@ -1831,7 +1831,7 @@ Finally, sufficiently privileged domains may occasionally wish to manipulate
 the pages of others: 
 
 \begin{quote}
-\hypercall{update\_va\_mapping(unsigned long va, uint64\_t val,
+\hypercall{update\_va\_mapping\_otherdomain(unsigned long va, uint64\_t val,
                          unsigned long flags, domid\_t domid)}
 
 Identical to {\bf update\_va\_mapping} save that the pages being