diff --git a/libsel4/arch_include/x86/interfaces/object-api-arch.xml b/libsel4/arch_include/x86/interfaces/object-api-arch.xml
index 5b9c01866..c2a9c074f 100644
--- a/libsel4/arch_include/x86/interfaces/object-api-arch.xml
+++ b/libsel4/arch_include/x86/interfaces/object-api-arch.xml
@@ -422,7 +422,7 @@
         <method id="X86PageMapEPT" name="MapEPT" manual_name="Map EPT">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Map an extended page table.
+                Map a page into a VCPU Extended Page Table (EPT).
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1057,12 +1057,12 @@
             </error>
         </method>
     </interface>
-    <interface name="seL4_X86_EPTPDPT" manual_name="Extended Page Table Page Directory Page Table"
+    <interface name="seL4_X86_EPTPDPT" manual_name="Extended Page Table Page-Directory Pointers Table"
         cap_description="Capability to the EPT PDPT being operated on.">
         <method id="X86EPTPDPTMap" name="Map">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Map an EPT page directory page table.
+                Map a Page-Directory Pointers Table (PDPT) into a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1102,7 +1102,7 @@
         <method id="X86EPTPDPTUnmap" name="Unmap">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Unmap an EPT page directory page table.
+                Unmap a Page-Directory Pointer Table (PDPT) into a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1129,7 +1129,7 @@
         <method id="X86EPTPDMap" name="Map">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Map an EPT page directory.
+                Map a Page Directory (PD) into a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1170,7 +1170,7 @@
         <method id="X86EPTPDUnmap" name="Unmap">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Unmap an EPT page directory.
+                Unmap a Page Directory (PD) from a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1197,7 +1197,7 @@
         <method id="X86EPTPTMap" name="Map">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Map an EPT page table.
+                Map a Page Table (PT) into a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>
@@ -1238,7 +1238,7 @@
         <method id="X86EPTPTUnmap" name="Unmap">
             <condition><config var="CONFIG_VTX"/></condition>
             <brief>
-                Unmap an EPT page table.
+                Unmap a Page Table (PT) from a VCPU Extended Page Table.
             </brief>
             <description>
                 <docref>See <autoref label="ch:vspace"/></docref>