sel4_microkit

Function with_msg_bytes

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

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