set_mr

sel4_microkit

Function set_mr 

Source 
pub fn set_mr(i: usize, value: u64)
Expand description

Corresponds to microkit_mr_set.