Searched refs:Arch_invokeIRQControl (Results 1 - 2 of 2) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/object/ |
H A D | interrupt.c | 17 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) function 78 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
/seL4-mcs-10.1.1/src/arch/x86/object/ |
H A D | interrupt.c | 61 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, x86_irq_state_t irqState) function 73 return Arch_invokeIRQControl(irq, handlerSlot, controlSlot, irqState); 190 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|
Completed in 63 milliseconds