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

arm-hyp: Add conditions to invocations

Browse source
This commit is contained in:
Adrian Danis 2016-06-15 17:51:06 +10:00
parent 5210cf22bf
commit f14dcdd0da
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -19,11 +19,11 @@
</method>
</interface>
<interface name="seL4_ARM_IOPageTable">
<method id="ARMIOPageTableMap" name="Map">
<method id="ARMIOPageTableMap" name="Map" config="CONFIG_ARM_SMMU">
<param dir="in" name="iospace" type="seL4_ARM_IOSpace"/>
<param dir="in" name="ioaddr" type="seL4_Word"/>
</method>
<method id="ARMIOPageTableUnmap" name="Unmap">
<method id="ARMIOPageTableUnmap" name="Unmap" config="CONFIG_ARM_SMMU">
</method>
</interface>
<interface name="seL4_ARM_Page">
@ -39,7 +39,7 @@
<param dir="in" name="attr" type="seL4_ARM_VMAttributes"/>
</method>
<method id="ARMPageUnmap" name="Unmap"/>
<method id="ARMPageMapIO" name="MapIO">
<method id="ARMPageMapIO" name="MapIO" config="CONFIG_ARM_SMMU">
<param dir="in" name="iospace" type="seL4_ARM_IOSpace"/>
<param dir="in" name="rights" type="seL4_CapRights"/>
<param dir="in" name="ioaddr" type="seL4_Word"/>

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

@ -47,20 +47,20 @@
</method>
</interface>
<interface name="seL4_ARM_VCPU">
<method id="ARMVCPUSetTCB" name="SetTCB">
<method id="ARMVCPUSetTCB" name="SetTCB" config="CONFIG_ARM_HYPERVISOR_SUPPORT">
<param dir="in" name="tcb" type="seL4_TCB" />
</method>
<method id="ARMVCPUInjectIRQ" name="InjectIRQ">
<method id="ARMVCPUInjectIRQ" name="InjectIRQ" config="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">
<method id="ARMVCPUReadReg" name="ReadRegs" config="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">
<method id="ARMVCPUWriteReg" name="WriteRegs" config="CONFIG_ARM_HYPERVISOR_SUPPORT">
<param dir="in" name="field" type="seL4_Uint32"/>
<param dir="in" name="value" type="seL4_Uint32"/>
</method>