| /seL4-master/src/object/ |
| A D | interrupt.c | 145 maskInterrupt(false, irq); in invokeIRQHandler_AckIRQ()
192 maskInterrupt(true, irq); in handleInterrupt()
214 maskInterrupt(true, irq); in handleInterrupt()
244 maskInterrupt(true, irq); in handleInterrupt()
275 maskInterrupt(irqState == IRQInactive, irq); in setIRQState()
|
| /seL4-master/src/drivers/timer/ |
| A D | omap3430-timer.c | 42 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ); in initTimer()
65 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ); in initTimer()
|
| A D | am335x-timer.c | 115 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ); in initTimer()
150 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ); in initTimer()
|
| A D | generic_timer.c | 131 …maskInterrupt(vcpu->vppi_masked[irqVPPIEventIndex(CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_… in restore_virt_timer()
|
| /seL4-master/include/machine/ |
| A D | interrupt.h | 85 static inline void maskInterrupt(bool_t disable, irq_t irq);
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 59 maskInterrupt(arg0, IDX_TO_IRQT(arg1)); in handleRemoteCall()
|
| /seL4-master/include/drivers/irq/ |
| A D | omap3.h | 81 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| A D | am335x.h | 90 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | interrupt.h | 114 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| /seL4-master/src/plat/bcm2837/machine/ |
| A D | intc.c | 70 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 174 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | gic_v2.h | 185 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| A D | gic_v3.h | 323 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() function
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 265 maskInterrupt(true, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), i)); in try_init_kernel_secondary_core()
|
| /seL4-master/include/arch/arm/armv/armv7-a/armv/ |
| A D | vcpu.h | 826 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT)); in vcpu_disable()
|
| /seL4-master/include/arch/arm/armv/armv8-a/32/armv/ |
| A D | vcpu.h | 826 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT)); in vcpu_disable()
|
| /seL4-master/include/arch/arm/armv/armv8-a/64/armv/ |
| A D | vcpu.h | 636 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT)); in vcpu_disable()
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 127 maskInterrupt(true, irq); in VPPIEvent()
|