sel4_
microkit_
base
0.1.0
Function
sel4_microkit_base
::
set_mr
Copy item path
source
ยท
[
−
]
pub fn set_mr(i: usize, value:
MessageRegisterValue
)