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
ImplicitReplyAuthority
IpcBuffer
MessageInfo
MessageInfoBuilder
NoInvocationContext
NullFault
RecvWithMRs
UnknownSyscall
UntypedDesc
UserContext
UserException
VmAttributes
VmFault
Enums
BootInfoExtraId
Error
Fault
FrameObjectType
ObjectBlueprint
ObjectBlueprintX64
ObjectBlueprintX86
ObjectType
ObjectTypeX64
ObjectTypeX86
TranslationTableObjectType
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
reply
set_ipc_buffer
set_tls_base
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
Word
Attribute Macros
sel4_cfg
sel4_cfg_attr
sel4_cfg_enum
sel4_cfg_match
sel4_cfg_struct
sel4
Function
reply
Copy item path
Settings
Help
Summary
Source
pub fn reply(ipc_buffer: &mut
IpcBuffer
, info:
MessageInfo
)
Expand description
Corresponds to
seL4_Reply
.