debuggers.hg

changeset 16555:62717554d4cb

find changesets by author, revision, files, or words in the commit message
docs: Fix interface manual to correctly reference
update_va_mapping_otherdomain.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Dec 04 11:16:41 2007 +0000 (2007-12-04)
parents aa430556d33f
children 6706934cdf9d
files docs/src/interface.tex
line diff
     1.1 --- a/docs/src/interface.tex	Tue Dec 04 11:06:05 2007 +0000
     1.2 +++ b/docs/src/interface.tex	Tue Dec 04 11:16:41 2007 +0000
     1.3 @@ -1831,7 +1831,7 @@ Finally, sufficiently privileged domains
     1.4  the pages of others: 
     1.5  
     1.6  \begin{quote}
     1.7 -\hypercall{update\_va\_mapping(unsigned long va, uint64\_t val,
     1.8 +\hypercall{update\_va\_mapping\_otherdomain(unsigned long va, uint64\_t val,
     1.9                           unsigned long flags, domid\_t domid)}
    1.10  
    1.11  Identical to {\bf update\_va\_mapping} save that the pages being