/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 13 static inline void handleReservedIRQ(irq_t irq) argument
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/ |
H A D | device.c | 19 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 16 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument
|
/seL4-test-master/kernel/src/arch/x86/32/ |
H A D | c_traps.c | 115 interrupt_t irq = servicePendingIRQ(); local
|
/seL4-test-master/kernel/include/object/ |
H A D | objecttype.h | 56 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap)); local
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | interrupt.h | 20 static inline void handleReservedIRQ(irq_t irq) argument
|
/seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
H A D | plic.h | 45 static inline void plic_complete_claim(irq_t irq) argument 49 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument
|
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument
|
/seL4-test-master/kernel/src/plat/bcm2837/machine/ |
H A D | intc.c | 30 uint32_t irq; local 70 static inline void maskInterrupt(bool_t disable, irq_t irq) argument [all...] |
/seL4-test-master/kernel/include/machine/ |
H A D | interrupt.h | 40 word_t irq; member in struct:__anon16 [all...] |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | device.c | 21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest) argument [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
H A D | interrupt.c | 28 static int is_timer_interrupt(driver_env_t env, int irq) argument 42 sel4ps_irq_t irq; local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | lwip.h | 78 static inline void ethif_lwip_handle_irq(lwip_iface_t *iface, int irq) { argument
|
H A D | pico_dev_eth.h | 59 static inline void ethif_pico_handle_irq(pico_device_eth *iface, int irq) { argument
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 27 ps_irq_t irq; member in struct:sel4ps_irq
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | pic.c | 39 void pic_mask_irq(bool_t mask, irq_t irq) argument 90 irq_t irq = getActiveIRQ(); local [all...] |
/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 | 22 static inline void handleReservedIRQ(irq_t irq) argument 92 static inline void ackInterrupt(irq_t irq) argument 106 static void inline updateIRQState(irq_t irq, x86_irq_state_t state) argument 112 static inline void maskInterrupt(bool_t disable, irq_t irq) argument [all...] |
/seL4-test-master/kernel/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 17 static inline void plic_complete_claim(irq_t irq) argument 21 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 66 ps_irq_t irq = { local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 32 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }}; local
|
H A D | omap3.c | 37 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }}; local
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | rtc.h | 53 uint32_t irq; member in struct:__anon612
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 27 uint32_t irq; member in struct:PACKED
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument 38 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(0, irq_w); local 89 irq_t irq = CORE_IRQ_TO_IRQT(target, irq_w); local [all...] |