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

xml: remove condition attribute

Browse source 
Signed-off-by: matt rice <ratmice@gmail.com>
This commit is contained in:
matt rice 2022-03-02 07:42:43 -08:00 committed by Gerwin Klein
parent 311d4a0a34
commit 97610e1249
7 changed files with 92 additions and 115 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -83,7 +83,7 @@
</interface>
<interface name="seL4_ARM_IOPageTable" manual_name="I/O Page Table"
cap_description="Capability to the I/O page table being operated on.">
<method id="ARMIOPageTableMap" name="Map" condition="defined(CONFIG_TK1_SMMU)">
<method id="ARMIOPageTableMap" name="Map">
<condition><config var="CONFIG_TK1_SMMU"/></condition>
<description>
TODO
@ -107,7 +107,7 @@
</description>
</error>
</method>
<method id="ARMIOPageTableUnmap" name="Unmap" condition="defined(CONFIG_TK1_SMMU)">
<method id="ARMIOPageTableUnmap" name="Unmap">
<condition><config var="CONFIG_TK1_SMMU"/></condition>
<description>
TODO
@ -206,7 +206,7 @@
</description>
</error>
</method>
<method id="ARMPageMapIO" name="MapIO" condition="defined(CONFIG_TK1_SMMU)" manual_name="Map I/O">
<method id="ARMPageMapIO" name="MapIO" manual_name="Map I/O">
<condition><config var="CONFIG_TK1_SMMU"/></condition>
<brief>
TODO
@ -513,12 +513,11 @@
</interface>
<interface name="seL4_ARM_VCPU" manual_name="VCPU"
cap_description="Capability to the VCPU being operated on.">
<method id="ARMVCPUSetTCB" name="SetTCB" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)"
manual_name="Set TCB">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Bind a TCB to a virtual CPU
</brief>
<method id="ARMVCPUSetTCB" name="SetTCB" manual_name="Set TCB">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Bind a TCB to a virtual CPU
</brief>
<description>
There is a 1:1 relationship between a virtual CPU and a TCB. If either (or both) of them is
associated with another one, they will be dissociated, and then associated to the
@ -537,12 +536,11 @@
</description>
</error>
</method>
<method id="ARMVCPUInjectIRQ" name="InjectIRQ" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)"
manual_name="Inject IRQ">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Inject an IRQ to a virtual CPU
</brief>
<method id="ARMVCPUInjectIRQ" name="InjectIRQ" manual_name="Inject IRQ">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Inject an IRQ to a virtual CPU
</brief>
<description>
TODO
</description>
@ -575,12 +573,11 @@
</description>
</error>
</method>
<method id="ARMVCPUReadReg" name="ReadRegs" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)"
manual_name="Read Registers">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Read a virtual CPU register
</brief>
<method id="ARMVCPUReadReg" name="ReadRegs" manual_name="Read Registers">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Read a virtual CPU register
</brief>
<description>
TODO
</description>
@ -604,12 +601,11 @@
</description>
</error>
</method>
<method id="ARMVCPUWriteReg" name="WriteRegs" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)"
manual_name="Write Registers">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Write a virtual CPU register
</brief>
<method id="ARMVCPUWriteReg" name="WriteRegs" manual_name="Write Registers">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Write a virtual CPU register
</brief>
<description>
TODO
</description>
@ -633,12 +629,11 @@
</description>
</error>
</method>
<method id="ARMVCPUAckVPPI" name="AckVPPI" condition="defined(CONFIG_ARM_HYPERVISOR_SUPPORT)"
manual_name="Acknowledge Virtual PPI IRQ">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Acknowledge a PPI IRQ previously forwarded from a VPPIEvent fault
</brief>
<method id="ARMVCPUAckVPPI" name="AckVPPI" manual_name="Acknowledge Virtual PPI IRQ">
<condition><config var="CONFIG_ARM_HYPERVISOR_SUPPORT"/></condition>
<brief>
Acknowledge a PPI IRQ previously forwarded from a VPPIEvent fault
</brief>
<description>
Acknowledge and unmask the PPI interrupt so that further interrupts can be forwarded
through VPPIEvent faults.
@ -714,7 +709,7 @@
</method>
<method id="ARMIRQIssueIRQHandlerTriggerCore" name="GetTriggerCore" manual_name="GetTriggerCore"
manual_label="irq_controlgettriggercore" condition="defined(CONFIG_ENABLE_SMP_SUPPORT)">
manual_label="irq_controlgettriggercore">
<condition><config var="CONFIG_ENABLE_SMP_SUPPORT"/></condition>
<brief>
Create an IRQ handler capability and specify the trigger method (edge or level) and the target core.
@ -769,8 +764,7 @@
</method>
</interface>
<interface name="seL4_ARM_SIDControl" manual_name="SID Control" cap_description="A SIDControl capability. This gives you the authority to make this call.">
<method id="ARMSIDIssueSIDManager" name="GetSID" manual_name="GetSID"
manual_label="sid_controlgetsid" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMSIDIssueSIDManager" name="GetSID" manual_name="GetSID" manual_label="sid_controlgetsid">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Create a SID capability.
@ -815,8 +809,7 @@
</description>
</error>
</method>
<method id="ARMSIDGetFault" name="GetFault" manual_name="GetFault"
manual_label="sid_controlgetfault" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMSIDGetFault" name="GetFault" manual_name="GetFault" manual_label="sid_controlgetfault">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Get the fault status of the SMMU.
@ -846,8 +839,7 @@
</description>
</error>
</method>
<method id="ARMSIDClearFault" name="ClearFault" manual_name="ClearFault"
manual_label="sid_controlclearfault" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMSIDClearFault" name="ClearFault" manual_name="ClearFault" manual_label="sid_controlclearfault">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Clear the fault status of the SMMU.
@ -868,8 +860,7 @@
</method>
</interface>
<interface name="seL4_ARM_SID" manual_name="SID" cap_description="A SID capability. This gives you the authority to make this call.">
<method id="ARMSIDBindCB" name="BindCB" manual_name="BindCB"
manual_label="sid_bindcb" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMSIDBindCB" name="BindCB" manual_name="BindCB" manual_label="sid_bindcb">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Binding a context bank to a stream ID.
@ -896,8 +887,7 @@
</description>
</error>
</method>
<method id="ARMSIDUnbindCB" name="UnbindCB" manual_name="UnbindCB"
manual_label="sid_unbindcb" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMSIDUnbindCB" name="UnbindCB" manual_name="UnbindCB" manual_label="sid_unbindcb">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Unbinding a context bank from a stream ID.
@ -919,8 +909,7 @@
</method>
</interface>
<interface name="seL4_ARM_CBControl" manual_name="CB Control" cap_description="A CBControl capability. This gives you the authority to make this call.">
<method id="ARMCBIssueCBManager" name="GetCB" manual_name="GetCB"
manual_label="cb_controlgetcb" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMCBIssueCBManager" name="GetCB" manual_name="GetCB" manual_label="cb_controlgetcb">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Create a CB capability.
@ -966,7 +955,7 @@
</error>
</method>
<method id="ARMCBTLBInvalidateAll" name="TLBInvalidateAll" manual_name="TLBInvalidateAll"
manual_label="cb_controltlbinvalidate" condition="defined(CONFIG_ARM_SMMU)">
manual_label="cb_controltlbinvalidate">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Invalidate all TLB entries.
@ -987,8 +976,7 @@
</method>
</interface>
<interface name="seL4_ARM_CB" manual_name="CB" cap_description="A CB capability. This gives you the authority to make this call.">
<method id="ARMCBAssignVspace" name="AssignVspace" manual_name="AssignVspace"
manual_label="cb_assignvspace" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMCBAssignVspace" name="AssignVspace" manual_name="AssignVspace" manual_label="cb_assignvspace">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Assigning a vspace to a context bank.
@ -1015,8 +1003,7 @@
</description>
</error>
</method>
<method id="ARMCBUnassignVspace" name="UnassignVspace" manual_name="UnassignVspace"
manual_label="cb_unassignvspace" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMCBUnassignVspace" name="UnassignVspace" manual_name="UnassignVspace" manual_label="cb_unassignvspace">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Unassigning a vspace to a context bank.
@ -1036,8 +1023,7 @@
</description>
</error>
</method>
<method id="ARMCBTLBInvalidate" name="TLBInvalidate" manual_name="TLBInvalidate"
manual_label="cb_tlbinvalidate" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMCBTLBInvalidate" name="TLBInvalidate" manual_name="TLBInvalidate" manual_label="cb_tlbinvalidate">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Invalidating TLB entries used by the current ASID in this context bank.
@ -1058,7 +1044,7 @@
</error>
</method>
<method id="ARMCBGetFault" name="CBGetFault" manual_name="CBGetFault"
manual_label="cb_getfault" condition="defined(CONFIG_ARM_SMMU)">
manual_label="cb_getfault">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Get the fault status of the context bank.
@ -1086,8 +1072,7 @@
</description>
</error>
</method>
<method id="ARMCBClearFault" name="CBClearFault" manual_name="CBClearFault"
manual_label="cb_clearfault" condition="defined(CONFIG_ARM_SMMU)">
<method id="ARMCBClearFault" name="CBClearFault" manual_name="CBClearFault" manual_label="cb_clearfault">
<condition><config var="CONFIG_ARM_SMMU"/></condition>
<brief>
Clear the fault status of the context bank.

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

@ -85,7 +85,7 @@
</description>
</error>
</method>
<method id="X86PageDirectoryGetStatusBits" name="GetStatusBits" manual_name="Get Status Bits" condition="defined(CONFIG_ARCH_IA32)">
<method id="X86PageDirectoryGetStatusBits" name="GetStatusBits" manual_name="Get Status Bits">
<condition><config var="CONFIG_ARCH_IA32"/></condition>
<brief>
Retrieve the accessed and dirty bits of a page mapped into an address space.
@ -197,7 +197,7 @@
<interface name="seL4_X86_IOPageTable" manual_name="I/O Page Table"
cap_description="Capability to the I/O page table being operated on.">
<method id="X86IOPageTableMap" name="Map" condition='defined(CONFIG_IOMMU)'>
<method id="X86IOPageTableMap" name="Map">
<condition><config var="CONFIG_IOMMU"/></condition>
<brief>
Map an IO page table into an IOSpace.
@ -232,7 +232,7 @@
</description>
</error>
</method>
<method id="X86IOPageTableUnmap" name="Unmap" condition='defined(CONFIG_IOMMU)'>
<method id="X86IOPageTableUnmap" name="Unmap">
<condition><config var="CONFIG_IOMMU"/></condition>
<brief>
Unmap an IO page table from an IOSpace.
@ -334,7 +334,7 @@
</description>
</error>
</method>
<method id="X86PageMapIO" name="MapIO" manual_name="Map I/O" manual_label='page_map_io' condition='defined(CONFIG_IOMMU)'>
<method id="X86PageMapIO" name="MapIO" manual_name="Map I/O" manual_label='page_map_io'>
<condition><config var="CONFIG_IOMMU"/></condition>
<brief>
Map a page into an IOSpace.
@ -407,7 +407,7 @@
</description>
</error>
</method>
<method id="X86PageMapEPT" name="MapEPT" condition="defined(CONFIG_VTX)" manual_name="Map EPT">
<method id="X86PageMapEPT" name="MapEPT" manual_name="Map EPT">
<condition><config var="CONFIG_VTX"/></condition>
<description>
TODO
@ -837,7 +837,7 @@
</method>
</interface>
<interface name="seL4_TCB" manual_name="TCB">
<method id="TCBSetEPTRoot" name="SetEPTRoot" condition="defined(CONFIG_VTX)" manual_name="Set EPT Root" manual_label="set_eptroot">
<method id="TCBSetEPTRoot" name="SetEPTRoot" manual_name="Set EPT Root" manual_label="set_eptroot">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Set the EPT root of a thread
@ -861,7 +861,7 @@
</method>
</interface>
<interface name="seL4_X86_VCPU" manual_name="VCPU" cap_description='VCPU object to operate on'>
<method id="X86VCPUSetTCB" name="SetTCB" condition="defined(CONFIG_VTX)" manual_name="Set TCB">
<method id="X86VCPUSetTCB" name="SetTCB" manual_name="Set TCB">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Bind TCB to VCPU
@ -882,7 +882,7 @@
</description>
</error>
</method>
<method id="X86VCPUReadVMCS" name="ReadVMCS" condition="defined(CONFIG_VTX)" manual_name="Read VMCS" manual_label="vcpu_readvmcs">
<method id="X86VCPUReadVMCS" name="ReadVMCS" manual_name="Read VMCS" manual_label="vcpu_readvmcs">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Read VMCS field from the hardware
@ -914,7 +914,7 @@
</description>
</error>
</method>
<method id="X86VCPUWriteVMCS" name="WriteVMCS" condition="defined(CONFIG_VTX)" manual_name="Write VMCS" manual_label="vcpu_writevmcs">
<method id="X86VCPUWriteVMCS" name="WriteVMCS" manual_name="Write VMCS" manual_label="vcpu_writevmcs">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Write VMCS field to the hardware
@ -953,8 +953,7 @@
</description>
</error>
</method>
<method id="X86VCPUEnableIOPort" name="EnableIOPort" condition="defined(CONFIG_VTX)"
manual_name="Enable IO Port" manual_label="vcpu_enableioport">
<method id="X86VCPUEnableIOPort" name="EnableIOPort" manual_name="Enable IO Port" manual_label="vcpu_enableioport">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Enable I/O port range in guest execution
@ -989,8 +988,7 @@
</description>
</error>
</method>
<method id="X86VCPUDisableIOPort" name="DisableIOPort" condition="defined(CONFIG_VTX)"
manual_name="Disable IO Port">
<method id="X86VCPUDisableIOPort" name="DisableIOPort" manual_name="Disable IO Port">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Disable I/O port range in privileged execution
@ -1014,8 +1012,7 @@
</description>
</error>
</method>
<method id="X86VCPUWriteRegisters" name="WriteRegisters" condition="defined(CONFIG_VTX)"
manual_name="Write Registers">
<method id="X86VCPUWriteRegisters" name="WriteRegisters" manual_name="Write Registers">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Set guest mode registers to the fields of a given <texttt text="seL4_VCPUContext"/>
@ -1039,7 +1036,7 @@
</interface>
<interface name="seL4_X86_EPTPDPT" manual_name="Extended Page Table Page Directory Page Table"
cap_description="Capability to the EPT PDPT being operated on.">
<method id="X86EPTPDPTMap" name="Map" condition="defined(CONFIG_VTX)">
<method id="X86EPTPDPTMap" name="Map">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Map an EPT page directory page table.
@ -1079,7 +1076,7 @@
</description>
</error>
</method>
<method id="X86EPTPDPTUnmap" name="Unmap" condition="defined(CONFIG_VTX)">
<method id="X86EPTPDPTUnmap" name="Unmap">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Unmap an EPT page directory page table.
@ -1106,7 +1103,7 @@
</interface>
<interface name="seL4_X86_EPTPD" manual_name="Extended Page Table Page Directory"
cap_description="Capability to the EPT PD being operated on.">
<method id="X86EPTPDMap" name="Map" condition="defined(CONFIG_VTX)">
<method id="X86EPTPDMap" name="Map">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Map an EPT page directory.
@ -1147,7 +1144,7 @@
</description>
</error>
</method>
<method id="X86EPTPDUnmap" name="Unmap" condition="defined(CONFIG_VTX)">
<method id="X86EPTPDUnmap" name="Unmap">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Unmap an EPT page directory.
@ -1174,7 +1171,7 @@
</interface>
<interface name="seL4_X86_EPTPT" manual_name="Extended Page Table Page Table"
cap_description="Capability to the EPT PT being operated on.">
<method id="X86EPTPTMap" name="Map" condition="defined(CONFIG_VTX)">
<method id="X86EPTPTMap" name="Map">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Map an EPT page table.
@ -1215,7 +1212,7 @@
</description>
</error>
</method>
<method id="X86EPTPTUnmap" name="Unmap" condition="defined(CONFIG_VTX)">
<method id="X86EPTPTUnmap" name="Unmap">
<condition><config var="CONFIG_VTX"/></condition>
<brief>
Unmap an EPT page table.

20
libsel4/include/api/syscall.xml
View file

@ -37,19 +37,19 @@
</api-mcs>
<!-- Syscalls on the unknown syscall path. These definitions will be wrapped in #if condition -->
<debug>
<config condition="defined(CONFIG_PRINTING)">
<config>
<condition><config var="CONFIG_PRINTING"/></condition>
<syscall name="DebugPutChar" />
<syscall name="DebugDumpScheduler" />
</config>
<config condition="defined(CONFIG_DEBUG_BUILD)">
<config>
<condition><config var="CONFIG_DEBUG_BUILD"/></condition>
<syscall name="DebugHalt" />
<syscall name="DebugCapIdentify" />
<syscall name="DebugSnapshot" />
<syscall name="DebugNameThread"/>
</config>
<config condition="defined(CONFIG_DEBUG_BUILD) &amp;&amp; defined(CONFIG_ENABLE_SMP_SUPPORT)">
<config>
<condition>
<and>
<config var="CONFIG_DEBUG_BUILD"/>
@ -58,11 +58,11 @@
</condition>
<syscall name="DebugSendIPI"/>
</config>
<config condition="defined(CONFIG_DANGEROUS_CODE_INJECTION)">
<config>
<condition><config var="CONFIG_DANGEROUS_CODE_INJECTION"/></condition>
<syscall name="DebugRun"/>
</config>
<config condition="defined(CONFIG_ENABLE_BENCHMARKS)">
<config>
<condition><config var="CONFIG_ENABLE_BENCHMARKS"/></condition>
<syscall name="BenchmarkFlushCaches" />
<syscall name="BenchmarkResetLog" />
@ -70,12 +70,12 @@
<syscall name="BenchmarkSetLogBuffer" />
<syscall name="BenchmarkNullSyscall" />
</config>
<config condition="defined(CONFIG_BENCHMARK_TRACK_UTILISATION)">
<config>
<condition><config var="CONFIG_BENCHMARK_TRACK_UTILISATION"/></condition>
<syscall name="BenchmarkGetThreadUtilisation" />
<syscall name="BenchmarkResetThreadUtilisation" />
</config>
<config condition="defined(CONFIG_DEBUG_BUILD) &amp;&amp; defined(CONFIG_BENCHMARK_TRACK_UTILISATION)">
<config>
<condition>
<and>
<config var="CONFIG_DEBUG_BUILD"/>
@ -85,7 +85,7 @@
<syscall name="BenchmarkDumpAllThreadsUtilisation" />
<syscall name="BenchmarkResetAllThreadsUtilisation" />
</config>
<config condition="defined(CONFIG_KERNEL_X86_DANGEROUS_MSR)">
<config>
<condition><config var="CONFIG_KERNEL_X86_DANGEROUS_MSR"/></condition>
<syscall name="X86DangerousWRMSR"/>
<syscall name="X86DangerousRDMSR"/>
@ -94,11 +94,11 @@
so that the check of 'is this a valid syscall' can remain a simple range check.
Therefore we'll put this here and the arch code will handle it before
passing to handleUnknownSyscall -->
<config condition="defined(CONFIG_VTX)">
<config>
<condition><config var="CONFIG_VTX"/></condition>
<syscall name="VMEnter"/>
</config>
<config condition="defined(CONFIG_SET_TLS_BASE_SELF)">
<config>
<condition><config var="CONFIG_SET_TLS_BASE_SELF"/></condition>
<syscall name="SetTLSBase"/>
</config>

1
libsel4/include/api/syscall.xsd
View file

@ -38,7 +38,6 @@
<xsd:element name="condition" minOccurs="0" maxOccurs="1" type="Unary"/>
<xsd:element name="syscall" minOccurs="1" maxOccurs="unbounded" type="SyscallType"/>
</xsd:sequence>
<xsd:attribute name="condition" type="xsd:string" />
</xsd:complexType>
<xsd:group name="ConfigGroup">

44
libsel4/include/interfaces/sel4.xml
View file

@ -179,7 +179,7 @@
</error>
</method>
<method id="TCBConfigure" name="Configure" manual_name="Configure" manual_label="tcb_configure" condition="!defined(CONFIG_KERNEL_MCS)">
<method id="TCBConfigure" name="Configure" manual_name="Configure" manual_label="tcb_configure">
<condition><not><config var="CONFIG_KERNEL_MCS"/></not></condition>
<brief>
Set the parameters of a TCB
@ -221,7 +221,7 @@
</description>
</error>
</method>
<method id="TCBConfigure" name="Configure" manual_name="Configure (MCS)" manual_label="tcb_configure_mcs" condition="defined(CONFIG_KERNEL_MCS)">
<method id="TCBConfigure" name="Configure" manual_name="Configure (MCS)" manual_label="tcb_configure_mcs">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Set the parameters of a TCB
@ -322,7 +322,7 @@
</error>
</method>
<method id="TCBSetSchedParams" name="SetSchedParams" manual_name="Set Sched Params" manual_label="tcb_setschedparams" condition="!defined(CONFIG_KERNEL_MCS)">
<method id="TCBSetSchedParams" name="SetSchedParams" manual_name="Set Sched Params" manual_label="tcb_setschedparams">
<condition><not><config var="CONFIG_KERNEL_MCS"/></not></condition>
<brief>
Change a thread's priority and maximum controlled priority.
@ -353,7 +353,7 @@
</description>
</error>
</method>
<method id="TCBSetSchedParams" name="SetSchedParams" manual_name="Set Sched Params (MCS)" manual_label="tcb_setschedparams_mcs" condition="defined(CONFIG_KERNEL_MCS)">
<method id="TCBSetSchedParams" name="SetSchedParams" manual_name="Set Sched Params (MCS)" manual_label="tcb_setschedparams_mcs">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Change a thread's priority, maximum controlled priority, scheduling context
@ -394,7 +394,7 @@
</error>
</method>
<method id="TCBSetTimeoutEndpoint" name="SetTimeoutEndpoint" manual_name="Set Timeout Endpoint" manual_label="tcb_settimeoutendpoint" condition="defined(CONFIG_KERNEL_MCS)">
<method id="TCBSetTimeoutEndpoint" name="SetTimeoutEndpoint" manual_name="Set Timeout Endpoint" manual_label="tcb_settimeoutendpoint">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Set a thread's timeout endpoint.
@ -450,7 +450,7 @@
</error>
</method>
<method id="TCBSetSpace" name="SetSpace" manual_name="Set Space" manual_label="tcb_setspace" condition="!defined(CONFIG_KERNEL_MCS)">
<method id="TCBSetSpace" name="SetSpace" manual_name="Set Space" manual_label="tcb_setspace">
<condition><not><config var="CONFIG_KERNEL_MCS"/></not></condition>
<brief>
Set the fault endpoint, CSpace and VSpace of a thread
@ -487,7 +487,7 @@
</error>
</method>
<method id="TCBSetSpace" name="SetSpace" manual_name="Set Space" manual_label="tcb_setspace_mcs" condition="defined(CONFIG_KERNEL_MCS)">
<method id="TCBSetSpace" name="SetSpace" manual_name="Set Space" manual_label="tcb_setspace_mcs">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Set the fault endpoint, CSpace and VSpace of a thread
@ -605,7 +605,7 @@
</error>
</method>
<method id="TCBSetAffinity" name="SetAffinity" condition="!defined(CONFIG_KERNEL_MCS) &amp;&amp; defined(CONFIG_ENABLE_SMP_SUPPORT)" manual_name="Set CPU Affinity" manual_label="tcb_setaffinity">
<method id="TCBSetAffinity" name="SetAffinity" manual_name="Set CPU Affinity" manual_label="tcb_setaffinity">
<condition>
<and>
<not><config var="CONFIG_KERNEL_MCS"/></not>
@ -633,7 +633,7 @@
</error>
</method>
<method id="TCBSetBreakpoint" name="SetBreakpoint" condition="defined(CONFIG_HARDWARE_DEBUG_API)" manual_name="Set Breakpoint" manual_label="tcb_setbreakpoint">
<method id="TCBSetBreakpoint" name="SetBreakpoint" manual_name="Set Breakpoint" manual_label="tcb_setbreakpoint">
<condition><config var="CONFIG_HARDWARE_DEBUG_API"/></condition>
<brief>
Set or modify a thread's breakpoints or watchpoints. Calls to this function
@ -683,7 +683,7 @@
</error>
</method>
<method id="TCBGetBreakpoint" name="GetBreakpoint" condition="defined(CONFIG_HARDWARE_DEBUG_API)" manual_name="Get Breakpoint" manual_label="tcb_getbreakpoint">
<method id="TCBGetBreakpoint" name="GetBreakpoint" manual_name="Get Breakpoint" manual_label="tcb_getbreakpoint">
<condition><config var="CONFIG_HARDWARE_DEBUG_API"/></condition>
<brief>
Read a breakpoint or watchpoint's current configuration.
@ -729,7 +729,7 @@
</error>
</method>
<method id="TCBUnsetBreakpoint" name="UnsetBreakpoint" condition="defined(CONFIG_HARDWARE_DEBUG_API)" manual_name="Unset Breakpoint" manual_label="tcb_unsetbreakpoint">
<method id="TCBUnsetBreakpoint" name="UnsetBreakpoint" manual_name="Unset Breakpoint" manual_label="tcb_unsetbreakpoint">
<condition><config var="CONFIG_HARDWARE_DEBUG_API"/></condition>
<brief>
Disables a hardware breakpoint or watchpoint. The caller should assume that
@ -761,7 +761,7 @@
</error>
</method>
<method id="TCBConfigureSingleStepping" name="ConfigureSingleStepping" condition="defined(CONFIG_HARDWARE_DEBUG_API)"
<method id="TCBConfigureSingleStepping" name="ConfigureSingleStepping"
manual_name="Configure Single Stepping" manual_label="tcb_configuresinglestepping">
<condition><config var="CONFIG_HARDWARE_DEBUG_API"/></condition>
<brief>
@ -1158,7 +1158,7 @@
</error>
</method>
<method id="CNodeSaveCaller" name="SaveCaller" manual_name="Save Caller" manual_label="cnode_savecaller" condition="!defined(CONFIG_KERNEL_MCS)">
<method id="CNodeSaveCaller" name="SaveCaller" manual_name="Save Caller" manual_label="cnode_savecaller">
<condition><not><config var="CONFIG_KERNEL_MCS"/></not></condition>
<brief>
Save the reply capability from the last time the thread was called in the given CSpace so that it can be invoked later
@ -1336,7 +1336,7 @@
<interface name="seL4_SchedControl">
<method id="SchedControlConfigureFlags" name="ConfigureFlags" manual_name="ConfigureFlags" manual_label="schedcontrol_configureflags" condition="defined(CONFIG_KERNEL_MCS)">
<method id="SchedControlConfigureFlags" name="ConfigureFlags" manual_name="ConfigureFlags" manual_label="schedcontrol_configureflags">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Set the parameters of a scheduling context by invoking the scheduling control capability. If the scheduling context is bound to a currently running thread, the parameters will take effect immediately: that is the current budget will be increased or reduced by the difference between the new and previous budget and the replenishment time will be updated according to any difference in the period. This can result in active threads being post-poned or released depending on the nature of the parameter change and the state of the thread. Additionally, if the scheduling context was previously empty (no budget) but bound to a runnable thread, this can result in a thread running for the first time since it now has access to CPU time. This call will return seL4 Invalid Argument if the parameters are too small (smaller than the kernel WCET for this platform) or too large (will overflow the timer).
@ -1380,7 +1380,7 @@
<interface name="seL4_SchedContext">
<method id="SchedContextBind" name="Bind"
manual_name="Bind" manual_label="schedcontext_bind" condition="defined(CONFIG_KERNEL_MCS)">
manual_name="Bind" manual_label="schedcontext_bind">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Bind an object to a scheduling context. The object can be a notification object or a
@ -1418,7 +1418,7 @@
</method>
<method id="SchedContextUnbind" name="Unbind"
manual_name="Unbind" manual_label="schedcontext_unbind" condition="defined(CONFIG_KERNEL_MCS)">
manual_name="Unbind" manual_label="schedcontext_unbind">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Unbind any objects (threads or notification objects) from a scheduling context. This
@ -1442,7 +1442,7 @@
</method>
<method id="SchedContextUnbindObject" name="UnbindObject"
manual_name="UnbindObject" manual_label="schedcontext_unbindobject" condition="defined(CONFIG_KERNEL_MCS)">
manual_name="UnbindObject" manual_label="schedcontext_unbindobject">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Unbind an object from a scheduling context. The object can be either a thread or a
@ -1474,8 +1474,7 @@
</description>
</error>
</method>
<method id="SchedContextConsumed" name="Consumed" manual_name="Consumed"
manual_label="schedcontext_consumed" condition="defined(CONFIG_KERNEL_MCS)">
<method id="SchedContextConsumed" name="Consumed" manual_name="Consumed" manual_label="schedcontext_consumed">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
Return the amount of time used by this scheduling context since this function was last called or a timeout exception triggered.
@ -1497,10 +1496,9 @@
</description>
</error>
</method>
<method id="SchedContextYieldTo" name="YieldTo"
manual_name="YieldTo" manual_label="schedcontext_yieldto" condition="defined(CONFIG_KERNEL_MCS)">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
<method id="SchedContextYieldTo" name="YieldTo" manual_name="YieldTo" manual_label="schedcontext_yieldto">
<condition><config var="CONFIG_KERNEL_MCS"/></condition>
<brief>
If a thread is currently runnable and running on this scheduling context and the scheduling context has available budget, place it at the head of the scheduling queue.
If the caller is at an equal priority to the thread this will result in the thread being scheduled.
If the caller is at a higher priority the thread will not run until the threads priority is the highest priority in the system.

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

@ -209,7 +209,7 @@
</interface>
<interface name="seL4_ARM_PageUpperDirectory" manual_name="Page Upper Directory"
cap_description="Capability to the upper page directory being operated on.">
<method id="ARMPageUpperDirectoryMap" name="Map" condition="!(defined(CONFIG_ARM_HYPERVISOR_SUPPORT) &amp;&amp; defined(CONFIG_ARM_PA_SIZE_BITS_40))">
<method id="ARMPageUpperDirectoryMap" name="Map">
<condition>
<not>
<and>
@ -261,8 +261,7 @@
</description>
</error>
</method>
<method id="ARMPageUpperDirectoryUnmap" name="Unmap"
condition="!(defined(CONFIG_ARM_HYPERVISOR_SUPPORT) &amp;&amp; defined(CONFIG_ARM_PA_SIZE_BITS_40))">
<method id="ARMPageUpperDirectoryUnmap" name="Unmap">
<condition>
<not>
<and>

1
libsel4/tools/sel4_idl.xsd
View file

@ -55,7 +55,6 @@
</xsd:sequence>
<xsd:attribute name="name" type="xsd:string" use="required" />
<xsd:attribute name="id" type="xsd:string" use="required" />
<xsd:attribute name="condition" type="xsd:string" use="optional" />
<xsd:attribute name="manual_name" type="xsd:string" use="optional" />
<xsd:attribute name="manual_label" type="xsd:string" use="optional" />
</xsd:complexType>