Searched refs:irqState (Results 1 - 3 of 3) sorted by relevance
/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) 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-l4v-master/seL4/include/object/ |
H A D | interrupt.h | 28 void setIRQState(irq_state_t irqState, irq_t irq);
|
/seL4-l4v-master/seL4/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 82 milliseconds