get_mr

sel4_microkit

Function get_mr 

Source 
pub fn get_mr(i: usize) -> u64
Expand description

Corresponds to microkit_mr_get.