sel4

Type Alias ReplyAuthority

Source
pub type ReplyAuthority<C = NoExplicitInvocationContext> = ImplicitReplyAuthority<C>;
Expand description

Configuration-dependant alias for conveying reply authority to syscalls.

Aliased Type§

struct ReplyAuthority<C = NoExplicitInvocationContext> { /* private fields */ }

Trait Implementations§