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