Searched defs:handlerSlot (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 25 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 54 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState) argument 60 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, cte_t *handlerSlot, cte_t *controlSlot) argument
|
/seL4-l4v-master/seL4/src/object/ |
H A D | interrupt.c | 79 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) argument
|
Completed in 35 milliseconds