diff --git a/libsel4/arch_include/arm/interfaces/sel4arch.xml b/libsel4/arch_include/arm/interfaces/sel4arch.xml
index e26ecad2a..7df71baaf 100644
--- a/libsel4/arch_include/arm/interfaces/sel4arch.xml
+++ b/libsel4/arch_include/arm/interfaces/sel4arch.xml
@@ -11,13 +11,33 @@
      @TAG(DATA61_BSD)
   -->
 <api name="ObjectApiArm" label_prefix="arm_">
-    <interface name="seL4_ARM_PageTable" manual_name="Page Table">
+    <interface name="seL4_ARM_PageTable" manual_name="Page Table"
+        cap_description="Capability to the page table being operated on.">
         <method id="ARMPageTableMap" name="Map" manual_label="pagetable_map">
-            <param dir="in" name="pd" type="seL4_CPtr"/>
-            <param dir="in" name="vaddr" type="seL4_Word"/>
-            <param dir="in" name="attr" type="seL4_ARM_VMAttributes"/>
+            <brief>
+                Map a page table into an address space.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>
+            </description>
+            <param dir="in" name="pd" type="seL4_CPtr"
+            description="Capability to the VSpace which will contain the mapping."/>
+            <param dir="in" name="vaddr" type="seL4_Word"
+            description="Virtual address to map the page into."/>
+            <param dir="in" name="attr" type="seL4_ARM_VMAttributes">
+                <description> 
+                    VM Attributes for the mapping. Possible values for this type are given 
+                    in <autoref label="ch:vspace"/>.
+                </description>
+            </param>
         </method>
         <method id="ARMPageTableUnmap" name="Unmap" manual_label="pagetable_unmap">
+            <brief>
+                Unmap a page table from its address space and zero it out.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
         </method>
     </interface>
     <interface name="seL4_ARM_IOPageTable" manual_name="I/O Page Table">
@@ -28,57 +48,172 @@
         <method id="ARMIOPageTableUnmap" name="Unmap" condition="defined(CONFIG_ARM_SMMU)">
         </method>
     </interface>
-    <interface name="seL4_ARM_Page" manual_name="Page">
+    <interface name="seL4_ARM_Page" manual_name="Page"
+        cap_description="Capability to the page being operated on.">
         <method id="ARMPageMap" name="Map">
-            <param dir="in" name="pd" type="seL4_CPtr"/>
-            <param dir="in" name="vaddr" type="seL4_Word"/>
-            <param dir="in" name="rights" type="seL4_CapRights_t"/>
-            <param dir="in" name="attr" type="seL4_ARM_VMAttributes"/>
+            <brief>
+                Map a page into an address space.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="pd" type="seL4_CPtr"
+            description="Capability to the VSpace which will contain the mapping."/>
+            <param dir="in" name="vaddr" type="seL4_Word"
+            description="Virtual address to map the page into."/>
+            <param dir="in" name="rights" type="seL4_CapRights_t">
+                <description>
+                    Rights for the mapping. Possible values for this type are given in <autoref label="sec:cap_rights"/>.
+                </description>
+            </param>
+            <param dir="in" name="attr" type="seL4_ARM_VMAttributes">
+                <description>
+                    VM Attributes for the mapping. Possible values for this type are given in <autoref label="ch:vspace"/>.
+                </description>
+            </param>
         </method>
         <method id="ARMPageRemap" name="Remap">
-            <param dir="in" name="pd" type="seL4_CPtr"/>
-            <param dir="in" name="rights" type="seL4_CapRights_t"/>
-            <param dir="in" name="attr" type="seL4_ARM_VMAttributes"/>
+            <brief>
+                Remap a page.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="pd" type="seL4_CPtr"
+            description="Capability to the VSpace which will contain the mapping."/>
+            <param dir="in" name="rights" type="seL4_CapRights_t">
+                <description>
+                    Rights for the mapping. Possible values for this type are given in <autoref label="sec:cap_rights"/>.
+                </description>
+            </param>
+            <param dir="in" name="attr" type="seL4_ARM_VMAttributes">
+                <description>
+                    VM Attributes for the mapping. Possible values for this type are given in <autoref label="ch:vspace"/>.
+                </description>
+            </param>        
+        </method>
+        <method id="ARMPageUnmap" name="Unmap">
+            <brief>
+                Unmap a page.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
         </method>
-        <method id="ARMPageUnmap" name="Unmap"/>
         <method id="ARMPageMapIO" name="MapIO" condition="defined(CONFIG_ARM_SMMU)" manual_name="Map I/O">
+            <brief>
+                
+            </brief>
+            <description>
+
+            </description>
             <param dir="in" name="iospace" type="seL4_ARM_IOSpace"/>
             <param dir="in" name="rights" type="seL4_CapRights_t"/>
             <param dir="in" name="ioaddr" type="seL4_Word"/>
         </method>
         <method id="ARMPageClean_Data" name="Clean_Data" manual_name="Clean Data">
-            <param dir="in" name="start_offset" type="seL4_Word"/>
-            <param dir="in" name="end_offset" type="seL4_Word"/>
+            <brief>
+                Cleans the data cache out to RAM. The start and end are relative to the page being serviced.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="start_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page inclusive."/>
+            <param dir="in" name="end_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page exclusive."/>
         </method>
         <method id="ARMPageInvalidate_Data" name="Invalidate_Data" manual_name="Invalidate Data">
-            <param dir="in" name="start_offset" type="seL4_Word"/>
-            <param dir="in" name="end_offset" type="seL4_Word"/>
+            <brief>
+                Invalidates the cache range within the given page. The start and end are relative to the page being serviced 
+                and should be aligned to a cache line boundary where possible. 
+                An additional clean is performed on the outer cache lines if the start and end are 
+                not aligned, to clean out the bytes between the requested and the cache line boundary.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="start_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page inclusive."/>
+            <param dir="in" name="end_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page exclusive."/>
         </method>
         <method id="ARMPageCleanInvalidate_Data" name="CleanInvalidate_Data"
             manual_name="Clean and Invalidate Data">
-            <param dir="in" name="start_offset" type="seL4_Word"/>
-            <param dir="in" name="end_offset" type="seL4_Word"/>
+            <brief>
+                Clean and invalidates the cache range within the given page. The range will be flushed out to RAM. 
+                The start and end are relative to the page being serviced.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="start_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page inclusive."/>
+            <param dir="in" name="end_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page exclusive."/>
         </method>
         <method id="ARMPageUnify_Instruction" name="Unify_Instruction" manual_name="Unify Instruction">
-            <param dir="in" name="start_offset" type="seL4_Word"/>
-            <param dir="in" name="end_offset" type="seL4_Word"/>
+            <brief>
+                Unify Instruction Cache. Cleans data lines to point of unification, invalidate 
+                corresponding instruction lines to point of unification, then invalidates branch
+                predictors. The start and end are relative to the page being
+                serviced.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="start_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page inclusive."/>
+            <param dir="in" name="end_offset" type="seL4_Word"
+            description="The offset, relative to the start of the page exclusive."/>
         </method>
         <method id="ARMPageGetAddress" name="GetAddress" manual_name="Get Address">
+            <brief>
+                Get the physical address of the underlying frame.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <return>
+                A <texttt text='seL4_ARM_Page_GetAddress_t'/> struct that contains a
+                <texttt text='seL4_Word paddr'/>, which holds the physical address of the page,
+                and <texttt text='int error'/>. See <autoref label='sec:errors'/> for a description
+                of the message register and tag contents upon error.
+            </return>
             <param dir="out" name="paddr" type="seL4_Word"/>
         </method>
     </interface>
-    <interface name="seL4_ARM_ASIDControl" manual_name="ASID Control">
+    <interface name="seL4_ARM_ASIDControl" manual_name="ASID Control"
+        cap_description="The master ASIDControl capability being operated on.">
         <method id="ARMASIDControlMakePool" name="MakePool" manual_name="Make Pool">
-            <param dir="in" name="untyped" type="seL4_Untyped"/>
-            <param dir="in" name="root" type="seL4_CNode"/>
-            <param dir="in" name="index" type="seL4_Word"/>
-            <param dir="in" name="depth" type="seL4_Uint8"/>
+            <brief>
+                Create an ASID Pool.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="untyped" type="seL4_Untyped"
+            description="Capability to an untyped memory object that will become the pool. Must be 4K bytes."/>
+            <param dir="in" name="root" type="seL4_CNode"
+            description="CPTR to the CNode that forms the root of the destination CSpace. Must be at a depth of 32."/>
+            <param dir="in" name="index" type="seL4_Word"
+            description="CPTR to the destination slot. Resolved from the root of the destination CSpace."/>
+            <param dir="in" name="depth" type="seL4_Uint8"
+            description="Number of bits of index to resolve to find the destination slot."/>
         </method>
     </interface>
-    <interface name="seL4_ARM_ASIDPool" manual_name="ASID Pool">
+    <interface name="seL4_ARM_ASIDPool" manual_name="ASID Pool"
+        cap_description="The ASID pool which is being assigned to. Must not be full. Each ASID pool can contain 1024 entries.">
         <method id="ARMASIDPoolAssign" name="Assign" manual_label="asidpool_assign"
             manual_name="Asid Pool Assign">
-            <param dir="in" name="vroot" type="seL4_CPtr"/>
+            <brief>
+                Assign an ASID Pool.
+            </brief>
+            <description>
+                See <autoref label="ch:vspace"/>.
+            </description>
+            <param dir="in" name="vroot" type="seL4_CPtr"
+            description="The page directory that is being assigned to an ASID pool. Must not already be assigned to an ASID pool."/>
         </method>
     </interface>
 </api>
diff --git a/manual/parts/api/arm_asidcontrol_makepool.tex b/manual/parts/api/arm_asidcontrol_makepool.tex
deleted file mode 100644
index f05f9842c..000000000
--- a/manual/parts/api/arm_asidcontrol_makepool.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_asidcontrol_makepool}
-{ARM ASID Control - Make Pool}
-{Create an ASID Pool}
-{static inline int seL4\_ARM\_ASIDControl\_MakePool}
-{
-\param{seL4\_ARM\_ASIDControl}{\_service}{The master ASIDControl capability.}
-\param{seL4\_Untyped}{untyped}{Capability to an untyped memory object that will become the pool. Must be 4K bytes.}
-\param{seL4\_CNode}{root}{\destcspacedesc}
-\param{seL4\_Word}{index}{\destindexdesc}
-\param{uint8\_t}{depth}{Number of bits of index to resolve to find the destination slot.}
-}
-{\errorenumdesc}
-{See Chapter \ref{ch:vspace}}
diff --git a/manual/parts/api/arm_asidpool_assign.tex b/manual/parts/api/arm_asidpool_assign.tex
deleted file mode 100644
index 8fc0b1aae..000000000
--- a/manual/parts/api/arm_asidpool_assign.tex
+++ /dev/null
@@ -1,21 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_asidpool_assign}
-{ARM ASID Pool - Assign}
-{Assign an ASID Pool}
-{static inline int seL4\_ARM\_ASIDPool\_Assign}
-{
-\param{seL4\_ARM\_ASIDPool}{\_service}{\asidassignpooldesc}
-\param{seL4\_ARM\_PageDirectory}{vroot}{\asidassignpddesc}
-}
-{\errorenumdesc}
-{See Chapter \ref{ch:vspace}}
diff --git a/manual/parts/api/arm_page_cleandata.tex b/manual/parts/api/arm_page_cleandata.tex
deleted file mode 100644
index 0620b6b78..000000000
--- a/manual/parts/api/arm_page_cleandata.tex
+++ /dev/null
@@ -1,23 +0,0 @@
-%
-% Copyright 2016, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_cleandata}
-{ARM Page - Clean Data}
-{Cleans the data cache out to RAM. The start and end are relative to the page being serviced.}
-{static inline int seL4\_ARM\_Page\_Clean\_Data}
-{
-\param{seL4\_ARM\_Page}{\_service}{The page whose contents will be flushed.}
-\param{seL4\_Word}{start\_offset}{The offset, relative to the start of the page inclusive.}
-\param{seL4\_Word}{end\_offset}{The offset, relative to the start of the page exclusive.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_page_cleaninvalidatedata.tex b/manual/parts/api/arm_page_cleaninvalidatedata.tex
deleted file mode 100644
index c570f252c..000000000
--- a/manual/parts/api/arm_page_cleaninvalidatedata.tex
+++ /dev/null
@@ -1,23 +0,0 @@
-%
-% Copyright 2016, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_cleaninvalidatedata}
-{ARM Page - Clean and Invalidate Data}
-{Clean and invalidates the cache range within the given page. The range will be flushed out to RAM. The start and end are relative to the page being serviced.}
-{static inline int seL4\_ARM\_Page\_CleanInvalidate\_Data}
-{
-\param{seL4\_ARM\_Page}{\_service}{The page whose contents will be flushed.}
-\param{seL4\_Word}{start\_offset}{The offset, relative to the start of the page inclusive.}
-\param{seL4\_Word}{end\_offset}{The offset, relative to the start of the page exclusive.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_page_getaddress.tex b/manual/parts/api/arm_page_getaddress.tex
deleted file mode 100644
index 80138d939..000000000
--- a/manual/parts/api/arm_page_getaddress.tex
+++ /dev/null
@@ -1,20 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_getaddress}
-{ARM Page - Get Address}
-{Get the physical address of the underlying frame}
-{static inline seL4\_ARM\_Page\_GetAddress\_t seL4\_ARM\_Page\_GetAddress}
-{
-\param{seL4\_ARM\_Page}{\_service}{Capability to the page to lookup.}
-}
-{A seL4\_ARM\_Page\_GetAddress\_t \pagegetaddresstdesc}
-{See \autoref{ch:vspace}}
diff --git a/manual/parts/api/arm_page_invalidatedata.tex b/manual/parts/api/arm_page_invalidatedata.tex
deleted file mode 100644
index 6c623515d..000000000
--- a/manual/parts/api/arm_page_invalidatedata.tex
+++ /dev/null
@@ -1,26 +0,0 @@
-%
-% Copyright 2016, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_invalidatedata}
-{ARM Page - Invalidate Data}
-{Invalidates the cache range within the given page. The start and end are relative to the page being serviced 
-and should be aligned to a cache line boundary where possible. 
-An additional clean is performed on the outer cache lines if the start and end are 
-not aligned, to clean out the bytes between the requested and the cache line boundary.}
-{static inline int seL4\_ARM\_Page\_Invalidate\_Data}
-{
-\param{seL4\_ARM\_Page}{\_service}{The page whose contents will be flushed.}
-\param{seL4\_Word}{start\_offset}{The offset, relative to the start of the page inclusive.}
-\param{seL4\_Word}{end\_offset}{The offset, relative to the start of the page exclusive.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_page_map.tex b/manual/parts/api/arm_page_map.tex
deleted file mode 100644
index ad985d5a2..000000000
--- a/manual/parts/api/arm_page_map.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_map}
-{ARM Page - Map} 
-{Map a page into an address space}
-{static inline int seL4\_ARM\_Page\_Map}
-{
-\param{seL4\_ARM\_Page}{\_service}{\pagecapdesc}
-\param{seL4\_ARM\_PageDirectory}{pd}{\pdcapdesc}
-\param{seL4\_Word}{vaddr}{\vaddrdesc}
-\param{seL4\_CapRights}{rights}{\vmcaprightsdesc}
-\param{seL4\_ARM\_VMAttributes}{attr}{\vmattribsdescarm}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
diff --git a/manual/parts/api/arm_page_remap.tex b/manual/parts/api/arm_page_remap.tex
deleted file mode 100644
index 59bbca0b7..000000000
--- a/manual/parts/api/arm_page_remap.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_remap}
-{ARM Page - Remap}
-{Remap a page}
-{static inline int seL4\_ARM\_Page\_Remap}
-{
-\param{seL4\_ARM\_Page}{\_service}{Capability to the page to remap.}
-\param{seL4\_ARM\_PageDirectory}{pd}{\pdcapdesc}
-\param{seL4\_CapRights}{rights}{\vmcaprightsdesc}
-\param{seL4\_ARM\_VMAttributes}{attr}{\vmattribsdescarm}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_page_unifyinstruction.tex b/manual/parts/api/arm_page_unifyinstruction.tex
deleted file mode 100644
index be8d6e9fa..000000000
--- a/manual/parts/api/arm_page_unifyinstruction.tex
+++ /dev/null
@@ -1,26 +0,0 @@
-%
-% Copyright 2016, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_unifyinstruction}
-{ARM Page - Unify Instruction Cache}
-{Unify Instruction Cache. Cleans data lines to point of unification, invalidate 
-corresponding instruction lines to point of unification, then invalidates branch
-predictors. The start and end are relative to the page being
-serviced.}
-{static inline int seL4\_ARM\_Page\_Unify\_Instruction}
-{
-\param{seL4\_ARM\_Page}{\_service}{The page whose contents will be flushed.}
-\param{seL4\_Word}{start\_offset}{The offset, relative to the start of the page inclusive.}
-\param{seL4\_Word}{end\_offset}{The offset, relative to the start of the page exclusive.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_page_unmap.tex b/manual/parts/api/arm_page_unmap.tex
deleted file mode 100644
index 3527abdca..000000000
--- a/manual/parts/api/arm_page_unmap.tex
+++ /dev/null
@@ -1,21 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_page_unmap}
-{ARM Page - Unmap}
-{Unmap a page}
-{static inline int seL4\_ARM\_Page\_Unmap}
-{
-\param{seL4\_ARM\_Page}{\_service}{Capability to the page to unmap.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_pagetable_map.tex b/manual/parts/api/arm_pagetable_map.tex
deleted file mode 100644
index 34f2ac1f2..000000000
--- a/manual/parts/api/arm_pagetable_map.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_pagetable_map}
-{ARM Page Table - Map}
-{Map a page table into an address space}
-{static inline int seL4\_ARM\_PageTable\_Map}
-{
-\param{seL4\_ARM\_PageTable}{\_service}{Capability to the page table that will be mapped.}
-\param{seL4\_ARM\_PageDirectory}{pd}{\pdcapdesc}
-\param{seL4\_Word}{vaddr}{\vaddrdesc}
-\param{seL4\_ARM\_VMAttributes}{attr}{\vmattribsdescarm}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}
-
diff --git a/manual/parts/api/arm_pagetable_unmap.tex b/manual/parts/api/arm_pagetable_unmap.tex
deleted file mode 100644
index b4a30d3cc..000000000
--- a/manual/parts/api/arm_pagetable_unmap.tex
+++ /dev/null
@@ -1,20 +0,0 @@
-%
-% Copyright 2014, General Dynamics C4 Systems
-%
-% This software may be distributed and modified according to the terms of
-% the GNU General Public License version 2. Note that NO WARRANTY is provided.
-% See "LICENSE_GPLv2.txt" for details.
-%
-% @TAG(GD_GPL)
-%
-
-\apidoc
-{arm_pagetable_unmap}
-{ARM Page Table - Unmap}
-{Unmap a page table from its address space and zero it out}
-{static inline int seL4\_ARM\_PageTable\_Unmap}
-{
-\param{seL4\_ARM\_PageTable}{\_service}{Capability to the page table that will be unmapped.}
-}
-{\errorenumdesc}
-{See \autoref{ch:vspace}}