sel4_
microkit
0.1.0
sel4_microkit
Function
get_mr
Copy item path
Source
pub fn get_mr(i: usize) -> u64
Expand description
Corresponds to
microkit_mr_get
.