/seL4-test-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-test-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-test-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-test-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 53 irq_id_t irq_id; member in struct:__anon7
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 59 irq_id_t irq_id; member in struct:__anon5
|
/seL4-test-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-test-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 74 irq_id_t irq_id; member in struct:__anon3
|
/seL4-test-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-test-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-test-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
|
H A D | fdt.c | 40 irq_id_t irq_id; member in struct:index_helper_token
|
/seL4-test-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-test-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
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 256 irq_id_t irq_id; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 54 irq_id_t irq_id; member in struct:__anon10
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 465 int irq_id; member in struct:__anon1
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 482 int irq_id; member in struct:__anon1
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 370 irq_id_t irq_id = ps_irq_register(&gpt->ops.irq_ops, irq, gpt_handle_irq, gpt); local
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 92 irq_id_t irq_id; member in struct:__anon4 215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id, argument 434 static int sel4platsupport_irq_unregister(void *cookie, irq_id_t irq_id) argument 527 irq_id_t irq_id local 722 sel4platsupport_irq_set_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, irq_id_t irq_id, seL4_Word *ret_badge) argument 748 sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id) argument 801 perform_callback(irq_cookie_t *irq_cookie, irq_id_t irq_id, unsigned long badge_bit) argument [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 1043 irq_id_t irq_id = ps_irq_register(&io_ops.irq_ops, eth_config->irq_info[0], eth_irq_handle, driver); local
|