sel4
0.1.0
Modules
cap
cap_type
init_thread
vspace_levels
Macros
debug_print
debug_println
sel4_cfg_bool
sel4_cfg_if
sel4_cfg_str
sel4_cfg_usize
sel4_cfg_word
sel4_cfg_wrap_match
Structs
AbsoluteCPtr
BootInfo
BootInfoExtra
BootInfoExtraIter
BootInfoPtr
CNodeCapData
CPtr
CPtrWithDepth
CallWithMRs
Cap
CapFault
CapRights
CapRightsBuilder
DebugWrite
ImplicitInvocationContext
IpcBuffer
MessageInfo
MessageInfoBuilder
NoInvocationContext
NullFault
RecvWithMRs
Timeout
UnknownSyscall
UntypedDesc
UserContext
UserException
VCpuFault
VGicMaintenance
VPpiEvent
VmAttributes
VmFault
Enums
BootInfoExtraId
Error
Fault
FrameObjectType
ObjectBlueprint
ObjectBlueprintAArch64
ObjectBlueprintArm
ObjectType
ObjectTypeAArch64
ObjectTypeArm
TranslationTableObjectType
VCpuReg
Constants
NUM_FAST_MESSAGE_REGISTERS
NUM_MESSAGE_REGISTERS
WORD_SIZE
Traits
CapType
CapTypeForFrameObject
CapTypeForFrameObjectOfFixedSize
CapTypeForObject
CapTypeForObjectOfFixedSize
CapTypeForObjectOfVariableSize
CapTypeForTranslationTableObject
ConveysReplyAuthority
FastMessages
HasCPtrWithDepth
InvocationContext
IpcCapType
Functions
debug_put_char
debug_snapshot
ipc_buffer_is_thread_local
set_ipc_buffer
try_with_ipc_buffer_slot
try_with_ipc_buffer_slot_mut
with_ipc_buffer
with_ipc_buffer_mut
yield
Type Aliases
Badge
CPtrBits
NoExplicitInvocationContext
ObjectBlueprintArch
ObjectBlueprintSeL4Arch
ObjectTypeArch
ObjectTypeSeL4Arch
ReplyAuthority
Result
Time
Word
Attribute Macros
sel4_cfg
sel4_cfg_attr
sel4_cfg_enum
sel4_cfg_match
sel4_cfg_struct
sel4
Function
debug_snapshot
Copy item path
Settings
Help
Summary
Source
pub fn debug_snapshot()
Expand description
Corresponds to
seL4_DebugSnapshot
.