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

libsel4: fix attribute type for x86 EPT invocation

Browse source 
Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
This commit is contained in:
Bill Nguyen 2025-12-18 11:02:52 +11:00 committed by Gerwin Klein
parent d648c5dd53
commit 2bdafbf7c3
2 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -435,7 +435,7 @@ contain the mapping"/>
Rights for the mapping. <docref>Possible values for this type are given in <autoref label='sec:cap_rights'/>.</docref>
</description>
</param>
<param dir="in" name="attr" type="seL4_X86_VMAttributes">
<param dir="in" name="attr" type="seL4_X86_EPT_VMAttributes">
<description>
VM attributes for the mapping.<docref> Possible values for this type are given in <autoref label='ch:vspace'/>.</docref>
</description>
@ -1072,7 +1072,7 @@ contain the mapping"/>
description='Capability to the EPT root which will contain the mapping'/>
<param dir="in" name="gpa" type="seL4_Word"
description='Guest physical address to map the page into.'/>
<param dir="in" name="attr" type="seL4_X86_VMAttributes">
<param dir="in" name="attr" type="seL4_X86_EPT_VMAttributes">
<description>
VM attributes for the mapping. <docref>Possible values for this type are given in <autoref label='ch:vspace'/></docref>
</description>
@ -1139,7 +1139,7 @@ contain the mapping"/>
description='Capability to the EPT root which will contain the mapping'/>
<param dir="in" name="gpa" type="seL4_Word"
description='Guest physical address to map the page into.'/>
<param dir="in" name="attr" type="seL4_X86_VMAttributes">
<param dir="in" name="attr" type="seL4_X86_EPT_VMAttributes">
<description>
VM attributes for the mapping. <docref>Possible values for this type are given in <autoref label='ch:vspace'/></docref>
</description>
@ -1207,7 +1207,7 @@ contain the mapping"/>
description='Capability to the EPT root which will contain the mapping'/>
<param dir="in" name="gpa" type="seL4_Word"
description='Guest physical address to map the page into.'/>
<param dir="in" name="attr" type="seL4_X86_VMAttributes">
<param dir="in" name="attr" type="seL4_X86_EPT_VMAttributes">
<description>
VM attributes for the mapping. <docref>Possible values for this type are given in <autoref label='ch:vspace'/></docref>
</description>

2
libsel4/tools/syscall_stub_gen.py
View file

@ -315,6 +315,7 @@ def init_arch_types(wordsize, args):
"ia32": [
Type("seL4_X86_VMAttributes", wordsize, wordsize),
Type("seL4_X86_EPT_VMAttributes", wordsize, wordsize),
CapType("seL4_X86_IOPort", wordsize),
CapType("seL4_X86_IOPortControl", wordsize),
CapType("seL4_X86_ASIDControl", wordsize),
@ -335,6 +336,7 @@ def init_arch_types(wordsize, args):
"x86_64": [
Type("seL4_X86_VMAttributes", wordsize, wordsize),
Type("seL4_X86_EPT_VMAttributes", wordsize, wordsize),
CapType("seL4_X86_IOPort", wordsize),
CapType("seL4_X86_IOPortControl", wordsize),
CapType("seL4_X86_ASIDControl", wordsize),