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
sel4_microkit_base
Function
set_mr
Copy item path
Settings
Help
Summary
Source
pub fn set_mr(i: usize, value:
MessageRegisterValue
)
Expand description
Corresponds to
microkit_mr_set
.