| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | timer.h | 39 /* Number of unique irqs this timer issues */
40 uint32_t irqs; member in struct:__anon686
|
| H A D | chardev.h | 56 /* array of irqs associated with this device */
57 const int *irqs; member in struct:ps_chardevice
196 for (i = 0; d->irqs[i] != -1; i++) {
197 if (d->irqs[i] == irq) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | timer.c | 41 cleanup_timer_irq(vka, &timer->to.irqs[i]);
60 if (timer->to.irqs[i].irq.type != PS_NONE) {
61 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr);
129 assert(timer->to.irqs[i].irq.type != PS_NONE);
130 int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq,
131 &timer->to.irqs[i].handler_path);
133 error = setup_irq(vka, &timer->to.irqs[i], BIT(seL4_BadgeBits - i - 1), ntfn);
160 error = ltimer_get_nth_irq(&timer->ltimer, i, &timer->to.irqs[i].irq);
216 /* Allocate timer irqs. */
227 error = ltimer_get_nth_irq(<imer, i, &timer_objects->irqs[
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | chardev.c | 36 .irqs = com##devid##_irqs, \
44 .irqs = ega_irqs, \
54 .irqs = keyboard_irqs, \
|
| H A D | keyboard_chardev.c | 80 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 29 .irqs = 1
72 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs);
74 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs);
|
| H A D | rtc.h | 65 .irqs = 0
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 36 .irqs = 1
77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs);
79 int sp804_set_timeout(sp804_t *timer, uint64_t ns, bool periodic, bool irqs);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | chardev.c | 30 .irqs = uart_irqs_##devid, \
|
| H A D | serial.c | 83 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | chardev.c | 30 .irqs = uart##devid##_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
| H A D | chardev.c | 30 .irqs = uart##devid##_irqs, \
|
| H A D | serial.c | 74 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | chardev.c | 35 .irqs = uart##devid##_irqs, \
43 .irqs = uart##devid##_ASYNC_irqs, \
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 74 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 71 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | serial.c | 75 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | serial.c | 72 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | serial.c | 87 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
| H A D | serial.c | 72 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | serial.c | 74 dev->irqs = defn->irqs;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
| H A D | gpt.h | 64 .irqs = 1
73 .irqs = 1
|
| /seL4-camkes-master/kernel/tools/hardware/outputs/ |
| H A D | c_header.py | 142 irqs = []
146 irqs += dev_rule.get_interrupts(tree, dev)
149 for irq in irqs:
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 52 .irqs = 1,
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 53 .irqs = 1
|