sel4_microkit

Function set_mr

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

Corresponds to microkit_mr_set.