Function sel4_microkit_base::with_msg_regs_mut
source · pub fn with_msg_regs_mut<T>(
f: impl FnOnce(&mut [MessageRegisterValue]) -> T,
) -> T
Expand description
Provides mutable access to the protection domain’s message registers.