sel4_microkit_base

Function 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.