Function sel4_microkit_base::with_msg_bytes_mut

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