Type Alias sel4::cap::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.