/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
H A D | timer.h | 61 .irqs = 1,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 60 .irqs = 1, 68 /* turn off any pending irqs */
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 89 .irqs = 1, 100 * continually increment and trigger irqs on each overflow and reload to 0 */
|
/seL4-camkes-master/kernel/tools/hardware/ |
H A D | device.py | 117 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 D | pwm.h | 66 .irqs = 2,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 29 .irqs = 1
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 91 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 D | pwm.h | 78 .irqs = 4,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 29 .irqs = 1
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/pc99/ |
H A D | ehci-pci.c | 179 host->irqs = &_irq_line; 180 return host->irqs;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 115 dev->irqs = defn->irqs;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/exynos5/ |
H A D | ehci-exynos5.c | 236 host->irqs = &_usb_irqs[host->id]; 237 return host->irqs;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb_host.h | 145 const int* irqs; member in struct:usb_host
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | serial.c | 422 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 D | serial.c | 243 dev->irqs = defn->irqs;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 132 .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 D | ehci-imx6.c | 379 host->irqs = &_usb_irqs[host->id]; 381 return host->irqs;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 672 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 D | serial.c | 695 dev->irqs = defn->irqs;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 53 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 D | vgic.c | 189 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 D | macros.py | 573 irqs = parse_dtb_node_interrupts(dtb, -1) 575 for i in irqs:
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 388 CDL_ObjID *irqs; member in struct:__anon63
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 758 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 D | main.c | 902 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]]));
|