Searched refs:irqs (Results 51 - 75 of 75) sorted by relevance

123

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h61 .irqs = 1,
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Depit.h60 .irqs = 1,
68 /* turn off any pending irqs */
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h89 .irqs = 1,
100 * continually increment and trigger irqs on each overflow and reload to 0 */
/seL4-camkes-master/kernel/tools/hardware/
H A Ddevice.py117 irqs = []
123 irqs.append(interrupt_parent.parse_irq(self, data))
128 irqs.append(interrupt_parent.parse_irq(self, data))
129 return irqs
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dpwm.h66 .irqs = 2,
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h29 .irqs = 1
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c91 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs) argument
97 return dmt_set_timeout_ticks(dmt, ticks64, periodic, irqs);
100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
108 flags |= irqs ? TCLR_INTENABLE : 0;
279 ZF_LOGE("Failed to register irqs (%d)", irq_id);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/
H A Dpwm.h78 .irqs = 4,
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h29 .irqs = 1
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/pc99/
H A Dehci-pci.c179 host->irqs = &_irq_line;
180 return host->irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c115 dev->irqs = defn->irqs;
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/exynos5/
H A Dehci-exynos5.c236 host->irqs = &_usb_irqs[host->id];
237 return host->irqs;
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/
H A Dusb_host.h145 const int* irqs; member in struct:usb_host
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dserial.c422 const int *irqs)
431 dev->irqs = irqs;
521 zynq_uart_dev_init(dev, ops, defn->id, vaddr, defn->irqs);
417 zynq_uart_dev_init( ps_chardevice_t *dev, const ps_io_ops_t *ops, enum chardev_id id, void *vaddr, const int *irqs) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/
H A Dserial.c243 dev->irqs = defn->irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c132 .irqs = uart_irqs[devid], \
481 static void chardevice_init(ps_chardevice_t *dev, void *vaddr, const int *irqs) argument
489 dev->irqs = irqs;
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/
H A Dehci-imx6.c379 host->irqs = &_usb_irqs[host->id];
381 return host->irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Di2c.c672 tk1_i2c_toggle_irq(i2c_bus_t *ib, bool enable, uint32_t irqs) argument
677 r->interrupt_mask |= irqs;
679 r->interrupt_mask &= ~irqs;
684 tk1_i2c_acknowledge_irq(i2c_bus_t *ib, uint32_t irqs) argument
688 r->interrupt_status |= irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c695 dev->irqs = defn->irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c53 static ps_irq_t irqs[] = { variable
440 irq_id = ps_irq_register(&io_ops->irq_ops, irqs[id], i2c_handle_irq_wrapper, i2c_bus);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c189 struct virq_handle irqs[MAX_LR_OVERFLOW]; /* circular buffer */ member in struct:lr_of
200 /// Complete set of virtual irqs
273 memset(vgic->lr_overflow[i].irqs, 0, sizeof(vgic->lr_overflow[i].irqs));
458 ZF_LOGF("too many overflow irqs");
462 lr_overflow->irqs[idx] = *irq;
478 * not want to process any new overflow irqs */
481 if (vgic_vcpu_inject_irq(vgic_dist, vcpu, &lr_overflow->irqs[i]) == 0) {
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py573 irqs = parse_dtb_node_interrupts(dtb, -1)
575 for i in irqs:
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h388 CDL_ObjID *irqs; member in struct:__anon63
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c758 to->irqs[i].handler_path.capPtr = sel4utils_copy_cap_to_process(process,
759 vka, from->irqs[i].handler_path.capPtr);
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c902 if (spec->irqs[irq] != INVALID_OBJ_ID) {
906 create_irq_cap(irq, &spec->objects[spec->irqs[irq]], free_slot);
1346 CDL_Object *cdl_irq = get_spec_object(spec, spec->irqs[irq_no]);
1388 if (spec->irqs[irq] != INVALID_OBJ_ID) {
1849 CDL_Obj_Name(&spec->objects[spec->irqs[irq]]));

Completed in 293 milliseconds

123