Searched defs:irq_id (Results 1 - 22 of 22) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Depit.h41 irq_id_t irq_id; member in struct:epit
H A Dgpt.h40 irq_id_t irq_id; member in struct:gpt
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h53 irq_id_t irq_id; member in struct:nv_tmr
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h51 irq_id_t irq_id; member in struct:gpt
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h53 irq_id_t irq_id; member in struct:__anon7
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h59 irq_id_t irq_id; member in struct:__anon5
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h55 irq_id_t irq_id; member in struct:__anon11
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h74 irq_id_t irq_id; member in struct:__anon3
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h71 irq_id_t irq_id; member in struct:dmt
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c277 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 Dltimer.h50 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 Dfdt.c40 irq_id_t irq_id; member in struct:index_helper_token
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c21 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 Dirq.h143 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 Dpwm.c256 irq_id_t irq_id; local
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c89 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 Dltimer.c54 irq_id_t irq_id; member in struct:__anon10
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dzynq7000.c465 int irq_id; member in struct:__anon1
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c482 int irq_id; member in struct:__anon1
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c370 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 Dirq.c92 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 Dintel.c1043 irq_id_t irq_id = ps_irq_register(&io_ops.irq_ops, eth_config->irq_info[0], eth_irq_handle, driver); local

Completed in 82 milliseconds