sel4_
sys
0.1.0
In sel4_
sys::
invocation_
label
Constants
CNodeCancelBadgedSends
CNodeCopy
CNodeDelete
CNodeMint
CNodeMove
CNodeMutate
CNodeRevoke
CNodeRotate
CNodeSaveCaller
DomainSetSet
IRQAckIRQ
IRQClearIRQHandler
IRQIssueIRQHandler
IRQSetIRQHandler
InvalidInvocation
RISCVASIDControlMakePool
RISCVASIDPoolAssign
RISCVIRQIssueIRQHandlerTrigger
RISCVPageGetAddress
RISCVPageMap
RISCVPageTableMap
RISCVPageTableUnmap
RISCVPageUnmap
TCBBindNotification
TCBConfigure
TCBCopyRegisters
TCBReadRegisters
TCBResume
TCBSetIPCBuffer
TCBSetMCPriority
TCBSetPriority
TCBSetSchedParams
TCBSetSpace
TCBSetTLSBase
TCBSuspend
TCBUnbindNotification
TCBWriteRegisters
UntypedRetype
sel4_sys
::
invocation_label
Constant
TCBResume
Copy item path
Settings
Help
Summary
Source
pub const TCBResume: u32 = 12u32;