forked from Imagelibrary/seL4
69 lines
2.5 KiB
XML
69 lines
2.5 KiB
XML
<?xml version="1.0" ?>
|
|
<!--
|
|
Copyright 2014, NICTA
|
|
|
|
This software may be distributed and modified according to the terms of
|
|
the BSD 2-Clause license. Note that NO WARRANTY is provided.
|
|
See "LICENSE_BSD2.txt" for details.
|
|
|
|
@TAG(NICTA_BSD)
|
|
-->
|
|
<api>
|
|
<struct name="seL4_UserContext">
|
|
<member name="pc"/>
|
|
<member name="sp"/>
|
|
<member name="cpsr"/>
|
|
<member name="r0"/>
|
|
<member name="r1"/>
|
|
<member name="r8"/>
|
|
<member name="r9"/>
|
|
<member name="r10"/>
|
|
<member name="r11"/>
|
|
<member name="r12"/>
|
|
<member name="r2"/>
|
|
<member name="r3"/>
|
|
<member name="r4"/>
|
|
<member name="r5"/>
|
|
<member name="r6"/>
|
|
<member name="r7"/>
|
|
<member name="r14"/>
|
|
</struct>
|
|
<interface name="seL4_ARM_PageDirectory">
|
|
<method id="ARMPDClean_Data" name="Clean_Data">
|
|
<param dir="in" name="start" type="seL4_Word"/>
|
|
<param dir="in" name="end" type="seL4_Word"/>
|
|
</method>
|
|
<method id="ARMPDInvalidate_Data" name="Invalidate_Data">
|
|
<param dir="in" name="start" type="seL4_Word"/>
|
|
<param dir="in" name="end" type="seL4_Word"/>
|
|
</method>
|
|
<method id="ARMPDCleanInvalidate_Data" name="CleanInvalidate_Data">
|
|
<param dir="in" name="start" type="seL4_Word"/>
|
|
<param dir="in" name="end" type="seL4_Word"/>
|
|
</method>
|
|
<method id="ARMPDUnify_Instruction" name="Unify_Instruction">
|
|
<param dir="in" name="start" type="seL4_Word"/>
|
|
<param dir="in" name="end" type="seL4_Word"/>
|
|
</method>
|
|
</interface>
|
|
<interface name="seL4_ARM_VCPU">
|
|
<method id="ARMVCPUSetTCB" name="SetTCB" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)">
|
|
<param dir="in" name="tcb" type="seL4_TCB" />
|
|
</method>
|
|
<method id="ARMVCPUInjectIRQ" name="InjectIRQ" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)">
|
|
<param dir="in" name="virq" type="seL4_Uint16"/>
|
|
<param dir="in" name="priority" type="seL4_Uint8"/>
|
|
<param dir="in" name="group" type="seL4_Uint8"/>
|
|
<param dir="in" name="index" type="seL4_Uint8"/>
|
|
</method>
|
|
<method id="ARMVCPUReadReg" name="ReadRegs" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)">
|
|
<param dir="in" name="field" type="seL4_Uint32"/>
|
|
<param dir="out" name="value" type="seL4_Uint32"/>
|
|
</method>
|
|
<method id="ARMVCPUWriteReg" name="WriteRegs" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)">
|
|
<param dir="in" name="field" type="seL4_Uint32"/>
|
|
<param dir="in" name="value" type="seL4_Uint32"/>
|
|
</method>
|
|
</interface>
|
|
</api>
|