sel4::cap

Type Alias IrqHandler

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> IrqHandler<C>

Source

pub fn irq_handler_ack(self) -> Result<()>

Corresponds to seL4_IRQHandler_Ack.

Source

pub fn irq_handler_set_notification( self, notification: Notification, ) -> Result<()>

Corresponds to seL4_IRQHandler_SetNotification.

Source

pub fn irq_handler_clear(self) -> Result<()>

Corresponds to seL4_IRQHandler_Clear.