Searched refs:IRQReserved (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 126 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_VGIC_MAINTENANCE)); in init_irqs()
127 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_VTIMER_EVENT)); in init_irqs()
130 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_SMMU)); in init_irqs()
135 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, KERNEL_PMU_IRQ)); in init_irqs()
272 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), INTERRUPT_VGIC_MAINTENANCE)); in try_init_kernel_secondary_core()
273 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), INTERRUPT_VTIMER_EVENT)); in try_init_kernel_secondary_core()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot.c | 44 setIRQState(IRQReserved, i); in init_irqs()
48 setIRQState(IRQReserved, i); in init_irqs()
53 setIRQState(IRQReserved, i); in init_irqs()
59 setIRQState(IRQReserved, i); in init_irqs()
62 setIRQState(IRQReserved, i); in init_irqs()
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 235 case IRQReserved: in handleInterrupt()
|
| /seL4-master/include/object/ |
| A D | structures.h | 26 IRQReserved enumerator
|
Completed in 7 milliseconds