Searched refs:Arch_invokeIRQControl (Results 1 - 3 of 3) sorted by relevance
| /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) function
85 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /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) function
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /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) function
66 return Arch_invokeIRQControl(irq, handlerSlot, controlSlot, irqState);
182 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|
Completed in 56 milliseconds