sel4_
microkit
0.1.0
Modules
panicking
Macros
debug_print
debug_println
memory_region_symbol
var
Structs
Channel
Child
DeferredAction
DeferredActionSlot
IrqAckError
MessageInfo
NullHandler
Enums
DeferredActionInterface
Infallible
Constants
DEFAULT_STACK_SIZE
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
Attribute Macros
protection_domain
sel4_microkit
Function
get_mr
Copy item path
Settings
Help
Summary
Source
pub fn get_mr(i: usize) -> u64
Expand description
Corresponds to
microkit_mr_get
.