sel4::cap

Type Alias Notification

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> Notification<C>

Source

pub fn signal(self)

Corresponds to seL4_Signal.

Source

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

Corresponds to seL4_Wait.