sel4_microkit

Function with_msg_regs_mut

Source
pub fn with_msg_regs_mut<T>(f: impl FnOnce(&mut [u64]) -> T) -> T
Expand description

Provides mutable access to the protection domain’s message registers.