Function sel4_microkit::get_mr

source ยท 
pub fn get_mr(i: usize) -> u64
Expand description

Corresponds to microkit_mr_get.