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

riscv: make sel4arch.xml follow dtd

Browse source
This commit is contained in:
Anna Lyons 2018-04-05 11:39:58 +10:00
parent 937d042395
commit e58d076a58
1 changed files with 20 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -15,7 +15,26 @@
Copyright 2016, 2017 Hesham Almatary, Data61/CSIRO <hesham.almatary@data61.csiro.au>
Copyright 2015, 2016 Hesham Almatary <heshamelmatary@gmail.com>
-->
<api>
<api name="ObjectApiRiscv" label_prefix="riscv_">
<struct name="seL4_UserContext">
<member name="pc"/>
<member name="ra"/>
<member name="sp"/>
<member name="gp"/>
<member name="tp"/>
<member name="t0"/>
<member name="t1"/>
<member name="t2"/>
<member name="s0"/>
<member name="s1"/>
<member name="a0"/>
<member name="a1"/>
<member name="a2"/>
<member name="a3"/>
<member name="a4"/>
<member name="a5"/>
<member name="a6"/>
</struct>
<interface name="seL4_RISCV_PageTable">
<method id="RISCVPageTableMap" name="Map">
<param dir="in" name="pt" type="seL4_RISCV_PageTable"/>
@ -70,25 +89,5 @@
</method>
</interface>
<struct name="seL4_UserContext">
<member name="pc"/>
<member name="ra"/>
<member name="sp"/>
<member name="gp"/>
<member name="tp"/>
<member name="t0"/>
<member name="t1"/>
<member name="t2"/>
<member name="s0"/>
<member name="s1"/>
<member name="a0"/>
<member name="a1"/>
<member name="a2"/>
<member name="a3"/>
<member name="a4"/>
<member name="a5"/>
<member name="a6"/>
</struct>
</api>