sel4::cap

Type Alias IrqControl

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> IrqControl<C>

Source

pub fn irq_control_get_trigger_core( self, irq: Word, edge_triggered: bool, target: Word, dst: &AbsoluteCPtr, ) -> Result<()>

Corresponds to seL4_IRQControl_GetTriggerCore.

Source

pub fn irq_control_get_trigger( self, irq: Word, edge_triggered: bool, dst: &AbsoluteCPtr, ) -> Result<()>

Corresponds to seL4_IRQControl_GetTrigger.

Source§

impl<C: InvocationContext> IrqControl<C>

Source

pub fn irq_control_get(self, irq: Word, dst: &AbsoluteCPtr) -> Result<()>

Corresponds to seL4_IRQControl_Get.