Module sel4_sys::invocation_label

Constants

• ARMASIDControlMakePool
• ARMASIDPoolAssign
• ARMIRQIssueIRQHandlerTrigger
• ARMPageCleanInvalidate_Data
• ARMPageClean_Data
• ARMPageGetAddress
• ARMPageInvalidate_Data
• ARMPageMap
• ARMPageTableMap
• ARMPageTableUnmap
• ARMPageUnify_Instruction
• ARMPageUnmap
• ARMSMCCall
• ARMVCPUAckVPPI
• ARMVCPUInjectIRQ
• ARMVCPUReadReg
• ARMVCPUSetTCB
• ARMVCPUWriteReg
• ARMVSpaceCleanInvalidate_Data
• ARMVSpaceClean_Data
• ARMVSpaceInvalidate_Data
• ARMVSpaceUnify_Instruction
• CNodeCancelBadgedSends
• CNodeCopy
• CNodeDelete
• CNodeMint
• CNodeMove
• CNodeMutate
• CNodeRevoke
• CNodeRotate
• DomainSetSet
• IRQAckIRQ
• IRQClearIRQHandler
• IRQIssueIRQHandler
• IRQSetIRQHandler
• InvalidInvocation
• SchedContextBind
• SchedContextConsumed
• SchedContextUnbind
• SchedContextUnbindObject
• SchedContextYieldTo
• SchedControlConfigureFlags
• TCBBindNotification
• TCBConfigure
• TCBCopyRegisters
• TCBReadRegisters
• TCBResume
• TCBSetIPCBuffer
• TCBSetMCPriority
• TCBSetPriority
• TCBSetSchedParams
• TCBSetSpace
• TCBSetTLSBase
• TCBSetTimeoutEndpoint
• TCBSuspend
• TCBUnbindNotification
• TCBWriteRegisters
• UntypedRetype