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