sel4::cap

Type Alias Reply

Source
pub type Reply<C = NoExplicitInvocationContext> = Cap<Reply, C>;

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> Reply<C>

Source

pub fn send(self, info: MessageInfo)

Corresponds to seL4_Send.