Searched defs:disable (Results 1 - 15 of 15) sorted by relevance
/seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
H A D | plic.h | 49 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument
|
/seL4-test-master/kernel/src/plat/bcm2837/machine/ |
H A D | intc.c | 70 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
/seL4-test-master/kernel/include/arch/arm/arch/smp/ |
H A D | ipi_inline.h | 40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq) argument
|
/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) argument
|
/seL4-test-master/kernel/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 21 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument
|
/seL4-test-master/projects/util_libs/libpci/include/pci/ |
H A D | virtual_device.h | 70 void (*disable) (libpci_vdevice_t* self); member in struct:libpci_vdevice
|
/seL4-test-master/kernel/include/drivers/irq/ |
H A D | omap3.h | 81 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
H A D | imx31.h | 73 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
H A D | am335x.h | 90 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
H A D | riscv_plic0.h | 132 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4bga/src/arch-x86/ |
H A D | bga.c | 52 static void disable(bga_p device) function
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/ |
H A D | meson_timer.h | 90 bool disable; member in struct:__anon620
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 191 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
/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) argument
|
H A D | gic_v3.h | 263 static inline void maskInterrupt(bool_t disable, irq_t irq) argument
|
Completed in 140 milliseconds