Function sel4_microkit::with_msg_bytes_mut

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

Provides mutable access to the protection domain’s message registers, viewed as an array of bytes.