sel4_microkit_base

Function with_msg_regs

Source 
pub fn with_msg_regs<T>(f: impl FnOnce(&[MessageRegisterValue]) -> T) -> T
Expand description

Provides access to the protection domain’s message registers.