Searched refs:invokeIRQControl (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/include/object/ |
H A D | interrupt.h | 18 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot);
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 30 return invokeIRQControl(irq, handlerSlot, controlSlot);
|
/seL4-l4v-master/seL4/src/object/ |
H A D | interrupt.c | 73 return invokeIRQControl(irq, destSlot, srcSlot); 79 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) function
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 18 return invokeIRQControl(irq, handlerSlot, controlSlot);
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 57 return invokeIRQControl(irq, handlerSlot, controlSlot);
|
Completed in 95 milliseconds