Searched defs:handlerSlot (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 54 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq… in Arch_invokeIRQControl()
62 cte_t *handlerSlot, cte_t *controlSlot) in invokeIssueIRQHandlerIOAPIC()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 25 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t … in Arch_invokeIRQControl()
|
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t … in Arch_invokeIRQControl()
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 78 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) in invokeIRQControl()
|
Completed in 12 milliseconds