portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

manual: updated EPT invocations to make it clearer

Browse source 
...that these syscalls are only used to manage VCPU page tables.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
This commit is contained in:
Bill Nguyen 2026-04-21 11:55:25 +10:00 committed by Gerwin Klein
parent 79b104a3a1
commit daa0dfb147
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
libsel4/arch_include/x86/interfaces/object-api-arch.xml
View file

@ -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>