| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | pit.h | 52 .irqs = 1
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | chardev.c | 29 .irqs = uart##devid##_irqs, \
|
| H A D | axi_uartlite.c | 162 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | chardev.c | 32 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | chardev.c | 32 .irqs = gsbi##devid##_uart_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | chardev.c | 33 .irqs = uart##devid##_irqs, \
|
| H A D | sp804.c | 83 int sp804_set_timeout(sp804_t *sp804, uint64_t ns, bool periodic, bool irqs) argument
89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs);
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument
98 flags |= irqs ? TCLR_INTENABLE : 0;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | chardev.c | 34 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
| H A D | chardev.c | 32 .irqs = uart##devid##_irqs, \
|
| H A D | serial.c | 88 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | chardev.c | 34 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx7/ |
| H A D | chardev.c | 33 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx8m/ |
| H A D | chardev.c | 32 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | chardev.c | 34 .irqs = uart##devid##_irqs, \
|
| H A D | ltimer.c | 43 static ps_irq_t irqs[] = { variable
53 return sizeof(irqs) / sizeof(irqs[0]);
59 *irq = irqs[n];
217 odroidc2_timer->callback_data.irq = &irqs[0];
219 odroidc2_timer->timer_irq_id = ps_irq_register(&ops.irq_ops, irqs[0], handle_irq_wrapper,
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
| H A D | chardev.c | 32 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | chardev.c | 32 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
| H A D | gpt.h | 62 .irqs = 1,
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
| H A D | chardev.c | 30 .irqs = uart##devid##_irqs, \
|
| H A D | uart.c | 87 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
| H A D | chardev.h | 22 const int *irqs; member in struct:dev_defn
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | uart.c | 104 dev->irqs = defn->irqs;
|
| H A D | ltimer.c | 44 static ps_irq_t irqs[] = { variable
69 #define N_IRQS ARRAY_SIZE(irqs)
81 *irq = irqs[n];
255 timers->callback_datas[i].irq = &irqs[i];
257 timers->timer_irq_ids[i] = ps_irq_register(&ops.irq_ops, irqs[i], handle_irq_wrapper,
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ega.c | 156 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 36 sel4ps_irq_t irqs[MAX_IRQS]; member in struct:timer_objects
75 * After this operation is complete, the irqs from the ltimer will be delivered to the
84 * @param simple for getting irq capabilities for the ltimer irqs.
86 * @param ntfn notification object capability for irqs to be delivered to.
100 * Initialise an seL4_timer with irqs from provided timer objects. As per sel4platsupport_init_timer,
102 * (to avoid unacked irqs due to irq caps not being set up).
109 * @param simple for getting irq capabilities for the ltimer irqs.
110 * @param ntfn notification object capability for irqs to be delivered to.
|