Searched refs:controlSlot (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/kernel/include/object/ |
| H A D | interrupt.h | 18 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot);
|
| /seL4-test-master/kernel/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
30 return invokeIRQControl(irq, handlerSlot, controlSlot);
|
| /seL4-test-master/kernel/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
57 return invokeIRQControl(irq, handlerSlot, controlSlot);
62 cte_t *handlerSlot, cte_t *controlSlot)
66 return Arch_invokeIRQControl(irq, handlerSlot, controlSlot, irqState);
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
|
| H A D | ioport.c | 90 static exception_t invokeX86PortControl(uint16_t first_port, uint16_t last_port, cte_t *ioportSlot, cte_t *controlSlot) argument
98 controlSlot, ioportSlot); local
|
| /seL4-test-master/kernel/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
18 return invokeIRQControl(irq, handlerSlot, controlSlot);
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 79 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot) argument
82 cteInsert(cap_irq_handler_cap_new(IRQT_TO_IDX(irq)), controlSlot, handlerSlot);
|
Completed in 44 milliseconds