Function sel4_microkit::with_msg_bytes

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