Function sel4_microkit::set_mr

source ยท 
pub fn set_mr(i: usize, value: u64)
Expand description

Corresponds to microkit_mr_set.