Searched defs:irqState (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dinterrupt.c54 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState) argument
64 x86_irq_state_t irqState = x86_irq_state_irq_ioapic_new(ioapic, pin, level, polarity, 1); local
154 x86_irq_state_t irqState; local
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c262 void setIRQState(irq_state_t irqState, irq_t irq) argument

Completed in 31 milliseconds