sel4_
microkit_
base
0.1.0
sel4_microkit_base
Function
set_mr
Copy item path
Source
pub fn set_mr(i: usize, value:
MessageRegisterValue
)
Expand description
Corresponds to
microkit_mr_set
.