Type Alias Notification 

pub type Notification<C = NoExplicitInvocationContext> = Cap<Notification, C>;

Aliased Type

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

Implementations

impl<C: InvocationContext> Notification<C>

pub fn signal(self)

Corresponds to seL4_Signal.

pub fn wait(self) -> (MessageInfo, Badge)

Corresponds to seL4_Wait.

pub fn poll(self) -> (MessageInfo, Badge)

Corresponds to seL4_Poll.