Searched defs:disable (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/src/plat/bcm2837/machine/ |
| A D | intc.c | 70 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
| /seL4-master/include/drivers/irq/ |
| A D | riscv_plic_dummy.h | 32 static inline void plic_mask_irq(bool_t disable, irq_t irq) in plic_mask_irq()
|
| A D | omap3.h | 81 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
| A D | riscv_plic0.h | 134 static inline void plic_mask_irq(bool_t disable, irq_t irq) in plic_mask_irq()
|
| A D | am335x.h | 90 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
| /seL4-master/include/arch/arm/arch/smp/ |
| A D | ipi_inline.h | 40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq) in doRemoteMaskPrivateInterrupt()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | interrupt.h | 114 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 174 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
| /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()
|
| A D | gic_v3.h | 323 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt()
|
Completed in 14 milliseconds