Function sel4_microkit_base::set_mr

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

Corresponds to microkit_mr_set.