Function sel4_microkit_base::with_msg_bytes

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