sel4_
microkit_
base
0.1.0
Macros
memory_region_symbol
var
Structs
Channel
Child
DeferredAction
DeferredActionSlot
IrqAckError
MessageInfo
NullHandler
Enums
DeferredActionInterface
Infallible
Traits
Handler
Functions
get_mr
ipc_buffer_ptr
pd_is_passive
pd_name
set_mr
with_msg_bytes
with_msg_bytes_mut
with_msg_regs
with_msg_regs_mut
Type Aliases
MessageLabel
MessageRegisterValue
?
Settings
Function
sel4_microkit_base
::
get_mr
Copy item path
source
·
[
−
]
pub fn get_mr(i: usize) ->
MessageRegisterValue
Expand description
Corresponds to
microkit_mr_get
.