sel4_
microkit_
base
0.1.0
sel4_microkit_base
Function
get_mr
Copy item path
Source
pub fn get_mr(i: usize) ->
MessageRegisterValue
Expand description
Corresponds to
microkit_mr_get
.