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

libsel4: idl: Add ASID errors

Browse source 
Signed-off-by: Jimmy Brush <code@jimmah.com>
This commit is contained in:
Jimmy Brush 2021-09-03 22:51:56 -04:00 committed by Gerwin Klein
parent 73180e0e8d
commit 1740abff65
6 changed files with 66 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libsel4/arch_include/arm/interfaces/sel4arch.xml
View file

@ -34,6 +34,7 @@
<error name="seL4_FailedLookup">
<description>
On aarch64, <texttt text="vspace"/> does not have a Page Directory mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
@ -163,6 +164,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a paging structure at the required level mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">

6
libsel4/arch_include/riscv/interfaces/sel4arch.xml
View file

@ -68,6 +68,11 @@
Or, all required page tables are already mapped in <texttt text="vspace"/> at <texttt text="vaddr."/>
</description>
</error>
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -153,6 +158,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a paging structure at the required level mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">

7
libsel4/arch_include/x86/interfaces/sel4arch.xml
View file

@ -41,6 +41,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a PDPT mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
@ -145,6 +146,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a Page Directory mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
@ -283,6 +285,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a paging structure at the required level mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
@ -416,6 +419,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a paging structure at the required level mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
@ -1053,6 +1057,7 @@
<description>
The <texttt text="_service"/> or <texttt text="eptpml4"/> is a CPtr to a capability of the wrong type.
Or, <texttt text="_service"/> is already mapped in a VSpace.
Or, <texttt text="eptpml4"/> is not assigned to an ASID pool.
</description>
</error>
</method>
@ -1118,6 +1123,7 @@
<description>
The <texttt text="_service"/> or <texttt text="eptpml4"/> is a CPtr to a capability of the wrong type.
Or, <texttt text="_service"/> is already mapped in a VSpace.
Or, <texttt text="eptpml4"/> is not assigned to an ASID pool.
</description>
</error>
</method>
@ -1183,6 +1189,7 @@
<description>
The <texttt text="_service"/> or <texttt text="eptpml4"/> is a CPtr to a capability of the wrong type.
Or, <texttt text="_service"/> is already mapped in a VSpace.
Or, <texttt text="eptpml4"/> is not assigned to an ASID pool.
</description>
</error>
</method>

20
libsel4/sel4_arch_include/aarch32/interfaces/sel4arch.xml
View file

@ -40,6 +40,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -74,6 +79,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -109,6 +119,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -143,6 +158,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.

26
libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml
View file

@ -58,6 +58,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -93,6 +98,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -128,6 +138,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -163,6 +178,11 @@
description="Start address"/>
<param dir="in" name="end" type="seL4_Word"
description="End address"/>
<error name="seL4_FailedLookup">
<description>
The <texttt text="_service"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -210,6 +230,11 @@
A mapping already exists for this level in <texttt text="vspace"/> at <texttt text="vaddr."/>
</description>
</error>
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.
@ -276,6 +301,7 @@
<error name="seL4_FailedLookup">
<description>
The <texttt text="vspace"/> does not have a Page Upper Directory mapped at <texttt text="vaddr."/>
Or, <texttt text="vspace"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">

5
libsel4/sel4_arch_include/x86_64/interfaces/sel4arch.xml
View file

@ -42,6 +42,11 @@
A mapping already exists for this level in <texttt text="vspace"/> at <texttt text="vaddr."/>
</description>
</error>
<error name="seL4_FailedLookup">
<description>
The <texttt text="pml4"/> is not assigned to an ASID pool.
</description>
</error>
<error name="seL4_IllegalOperation">
<description>
The <texttt text="_service"/> is a CPtr to a capability of the wrong type.