Function sel4_microkit::with_msg_regs

source · 
pub fn with_msg_regs<T>(f: impl FnOnce(&[u64]) -> T) -> T