sel4_
sys
0.1.0
In sel4_
sys::
invocation_
label
Constants
ARMASIDControlMakePool
ARMASIDPoolAssign
ARMIRQIssueIRQHandlerTrigger
ARMIRQIssueIRQHandlerTriggerCore
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
CNodeSaveCaller
DomainSetSet
IRQAckIRQ
IRQClearIRQHandler
IRQIssueIRQHandler
IRQSetIRQHandler
InvalidInvocation
TCBBindNotification
TCBConfigure
TCBCopyRegisters
TCBReadRegisters
TCBResume
TCBSetAffinity
TCBSetIPCBuffer
TCBSetMCPriority
TCBSetPriority
TCBSetSchedParams
TCBSetSpace
TCBSetTLSBase
TCBSuspend
TCBUnbindNotification
TCBWriteRegisters
UntypedRetype
sel4_sys
::
invocation_label
Constant
TCBSetSpace
Copy item path
Settings
Help
Summary
Source
pub const TCBSetSpace: u32 = 10u32;