/seL4-refos-master/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-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 256 irq_id_t irq_id; local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 256 irq_id_t irq_id; local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 40 irq_id_t irq_id; member in struct:index_helper_token
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | fdt.c | 40 irq_id_t irq_id; member in struct:index_helper_token
|
/seL4-refos-master/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-refos-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-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 54 irq_id_t irq_id; member in struct:__anon9
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 54 irq_id_t irq_id; member in struct:__anon22
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 465 int irq_id; member in struct:__anon1
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 482 int irq_id; member in struct:__anon1
|
/seL4-refos-master/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-refos-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-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 92 irq_id_t irq_id; member in struct:__anon8 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-refos-master/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-refos-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
|