sel4_microkit

Function get_mr

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

Corresponds to microkit_mr_get.