docs: Fix interface manual to correctly reference

update_va_mapping_otherdomain.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/docs/src/interface.tex b/docs/src/interface.tex
index f1b8430709ad29b04aa4378e37b7849f950424fe..4c81cd39457e48e75293cb6dd4dc2cefdd648352 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