| /seL4-test-master/kernel/include/machine/ |
| H A D | interrupt.h | 78 * maskInterrupt disables and enables IRQs.
85 static inline void maskInterrupt(bool_t disable, irq_t irq);
|
| /seL4-test-master/kernel/src/drivers/timer/ |
| H A D | omap3430-timer.c | 42 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ);
65 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ);
|
| H A D | am335x-timer.c | 115 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ);
150 maskInterrupt(/*disable*/ true, KERNEL_TIMER_IRQ);
|
| H A D | generic_timer.c | 127 maskInterrupt(vcpu->vppi_masked[irqVPPIEventIndex(CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT))],
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 147 maskInterrupt(false, irq);
192 maskInterrupt(true, irq);
212 maskInterrupt(true, irq);
243 maskInterrupt(true, irq);
271 maskInterrupt(irqState == IRQInactive, irq);
|
| /seL4-test-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 59 maskInterrupt(arg0, IDX_TO_IRQT(arg1));
|
| /seL4-test-master/kernel/include/drivers/irq/ |
| H A D | imx31.h | 73 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| H A D | am335x.h | 90 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| H A D | omap3.h | 81 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| /seL4-test-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 112 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| /seL4-test-master/kernel/src/plat/bcm2837/machine/ |
| H A D | intc.c | 70 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 184 * maskInterrupt disables and enables IRQs. When an IRQ is disabled, it should
191 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | gic_v2.h | 184 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| H A D | gic_v3.h | 263 static inline void maskInterrupt(bool_t disable, irq_t irq) function
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 636 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT));
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 826 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT));
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 826 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT));
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | vcpu.h | 826 maskInterrupt(true, CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), INTERRUPT_VTIMER_EVENT));
|
| /seL4-test-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 260 maskInterrupt(true, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), i));
|
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 126 maskInterrupt(true, irq);
|