Searched refs:setIRQState (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/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-l4v-master/seL4/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-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/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-l4v-master/seL4/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 93 milliseconds