Function sel4_microkit_base::with_msg_bytes
source · pub fn with_msg_bytes<T>(f: impl FnOnce(&[u8]) -> T) -> TExpand description
Provides access to the protection domain’s message registers, viewed as an array of bytes.
pub fn with_msg_bytes<T>(f: impl FnOnce(&[u8]) -> T) -> TProvides access to the protection domain’s message registers, viewed as an array of bytes.