Searched refs:irqState (Results 1 - 3 of 3) sorted by relevance
| /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
56 updateIRQState(irq, irqState);
64 x86_irq_state_t irqState = x86_irq_state_irq_ioapic_new(ioapic, pin, level, polarity, 1); local
66 return Arch_invokeIRQControl(irq, handlerSlot, controlSlot, irqState);
154 x86_irq_state_t irqState; local
179 irqState = x86_irq_state_irq_msi_new(pci_bus, pci_dev, pci_func, handle);
182 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|
| /seL4-test-master/kernel/include/object/ |
| H A D | interrupt.h | 28 void setIRQState(irq_state_t irqState, irq_t irq);
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 262 void setIRQState(irq_state_t irqState, irq_t irq) argument
264 intStateIRQTable[IRQT_TO_IDX(irq)] = irqState;
267 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), irqState == IRQInactive, IRQT_TO_IDX(irq));
271 maskInterrupt(irqState == IRQInactive, irq);
|
Completed in 39 milliseconds