Function sel4_microkit_base::with_msg_regs

source ยท 
pub fn with_msg_regs<T>(f: impl FnOnce(&[MessageRegisterValue]) -> T) -> T