Merge pull request #140 in SEL4/sel4 from ~AWONDO/sel4:manual/page_getaddress to master

* commit '2027e2e3':
  SELFOUR-251 Add descriptions of the seL4_Page_GetAddress_t

manual/parts/api.tex

@@ -98,6 +98,7 @@
 \newcommand{\messageinforetdesc}{A \texttt{seL4\_MessageInfo\_t} structure as described in \autoref{sec:messageinfo}.}
 \newcommand{\noret}{This method does not return anything.}
 \newcommand{\errorenumdesc}{A return value of \texttt{0} indicates success. A non-zero value indicates that an error occurred. See \autoref{sec:errors} for a description of the message register and tag contents upon error.}
+\newcommand{\pagegetaddresstdesc}{struct that contains \texttt{seL4\_Word paddr}, which holds the physical address of the page, and \texttt{int error}. See \autoref{sec:errors} for a description of the message register and tag contents upon error.}
 
 \newcommand{\domcapdesc}{Capability allowing domain configuration.}
 \newcommand{\domargdesc}{The thread's new domain.}

manual/parts/api/arm_page_getaddress.tex

@@ -16,5 +16,5 @@
 {
 \param{seL4\_ARM\_Page}{\_service}{Capability to the page to lookup.}
 }
-{A seL4\_ARM\_Page\_GetAddress\_t structure as described in TODO}
+{A seL4\_ARM\_Page\_GetAddress\_t \pagegetaddresstdesc}
 {See \autoref{ch:vspace}}

manual/parts/api/ia32_page_getaddress.tex

@@ -16,5 +16,5 @@
 {
 \param{seL4\_IA32\_Page}{\_service}{Capability to the page to lookup.}
 }
-{A seL4\_IA32\_Page\_GetAddress\_t structure as described in TODO}
+{A \texttt{seL4\_IA32\_Page\_GetAddress\_t} \pagegetaddresstdesc}
 {See \autoref{ch:vspace}}