| /seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/ |
| H A D | epit.h | 41 irq_id_t irq_id; member in struct:epit
|
| H A D | gpt.h | 40 irq_id_t irq_id; member in struct:gpt
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
| H A D | epit.h | 41 irq_id_t irq_id; member in struct:epit
|
| H A D | gpt.h | 40 irq_id_t irq_id; member in struct:gpt
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
| H A D | timer.h | 53 irq_id_t irq_id; member in struct:nv_tmr
|
| /seL4-refos-master/libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
| H A D | timer.h | 53 irq_id_t irq_id; member in struct:nv_tmr
|
| /seL4-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/ |
| H A D | gpt.h | 51 irq_id_t irq_id; member in struct:gpt
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
| H A D | gpt.h | 51 irq_id_t irq_id; member in struct:gpt
|
| /seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 53 irq_id_t irq_id; member in struct:__anon4
|
| /seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 59 irq_id_t irq_id; member in struct:__anon2
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 53 irq_id_t irq_id; member in struct:__anon15
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 59 irq_id_t irq_id; member in struct:__anon13
|
| /seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
| H A D | timer.h | 55 irq_id_t irq_id; member in struct:__anon5
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
| H A D | timer.h | 55 irq_id_t irq_id; member in struct:__anon11
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
| H A D | timer.h | 74 irq_id_t irq_id; member in struct:__anon7
|
| /seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
| H A D | timer.h | 74 irq_id_t irq_id; member in struct:__anon3
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 277 irq_id_t irq_id = ps_fdt_index_register_irq(&ops, cookie, 1, dmt_handle_irq, dmt); local
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 71 irq_id_t irq_id; member in struct:dmt
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 71 irq_id_t irq_id; member in struct:dmt
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 277 irq_id_t irq_id = ps_fdt_index_register_irq(&ops, cookie, 1, dmt_handle_irq, dmt); local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | ltimer.h | 50 helper_fdt_alloc_simple( ps_io_ops_t *ops, char *fdt_path, unsigned reg_choice, unsigned irq_choice, void **vmap, pmem_region_t *pmem, irq_id_t *irq_id, irq_callback_fn_t handler, void *handler_token ) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 50 helper_fdt_alloc_simple( ps_io_ops_t *ops, char *fdt_path, unsigned reg_choice, unsigned irq_choice, void **vmap, pmem_region_t *pmem, irq_id_t *irq_id, irq_callback_fn_t handler, void *handler_token ) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | i2c.c | 21 int irq_id; member in struct:omap4_i2c_dev
387 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument
425 int irq_id; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | i2c.c | 21 int irq_id; member in struct:omap4_i2c_dev
387 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument
425 int irq_id; local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 143 static inline int ps_irq_unregister(ps_irq_ops_t *irq_ops, irq_id_t irq_id) argument
|