| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | timer.h | 40 uint32_t irqs; member in struct:__anon686
|
| H A D | chardev.h | 57 const int *irqs; member in struct:ps_chardevice
|
| /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/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 36 sel4ps_irq_t irqs[MAX_IRQS]; member in struct:timer_objects
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | ltimer.c | 43 static ps_irq_t irqs[] = { variable
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 83 int sp804_set_timeout(sp804_t *sp804, uint64_t ns, bool periodic, bool irqs) argument
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument
|
| /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
100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
|
| /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/plat/am335x/ |
| H A D | i2c.c | 53 static ps_irq_t irqs[] = { variable
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 44 static ps_irq_t irqs[] = { variable
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.c | 481 static void chardevice_init(ps_chardevice_t *dev, void *vaddr, const int *irqs) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | serial.c | 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/capdl/capdl-loader-app/include/ |
| H A D | capdl.h | 388 CDL_ObjID *irqs; member in struct:__anon63
|
| /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
|
| /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
684 tk1_i2c_acknowledge_irq(i2c_bus_t *ib, uint32_t irqs) argument
|