Searched refs:setIRQState (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 98 setIRQState(IRQInactive, CORE_IRQ_TO_IRQT(0, i));
100 setIRQState(IRQTimer, CORE_IRQ_TO_IRQT(0, KERNEL_TIMER_IRQ));
102 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_VGIC_MAINTENANCE));
103 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_VTIMER_EVENT));
106 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, INTERRUPT_SMMU));
111 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(0, KERNEL_PMU_IRQ));
122 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi));
123 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_reschedule_ipi));
262 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi));
263 setIRQState(IRQIP
[all...] |
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 37 setIRQState(IRQTimer, i);
40 setIRQState(IRQIPI, i);
44 setIRQState(IRQReserved, i);
48 setIRQState(IRQReserved, i);
51 setIRQState(IRQInactive, i);
53 setIRQState(IRQReserved, i);
57 setIRQState(IRQInactive, i);
59 setIRQState(IRQReserved, i);
62 setIRQState(IRQReserved, i);
|
| /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/arch/riscv/kernel/ |
| H A D | boot.c | 108 setIRQState(IRQInactive, i);
111 setIRQState(IRQTimer, KERNEL_TIMER_IRQ);
113 setIRQState(IRQIPI, irq_remote_call_ipi);
114 setIRQState(IRQIPI, irq_reschedule_ipi);
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 81 setIRQState(IRQSignal, irq);
181 setIRQState(IRQInactive, irq);
262 void setIRQState(irq_state_t irqState, irq_t irq) function
|
Completed in 96 milliseconds