sel4_microkit

Function with_msg_regs

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

Provides access to the protection domain’s message registers.