Searched refs:irq_id_t (Results 1 - 25 of 31) sorted by relevance

12

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h75 typedef int irq_id_t; typedef
118 typedef irq_id_t (*ps_irq_register_fn_t)(void *cookie, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data);
129 typedef int (*ps_irq_unregister_fn_t)(void *cookie, irq_id_t irq_id);
143 static inline int ps_irq_unregister(ps_irq_ops_t *irq_ops, irq_id_t irq_id)
H A Dfdt.h144 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
/seL4-camkes-master/projects/global-components/components/SerialServer/src/plat/pc99/
H A Dplat.c26 irq_id_t serial_irq_id = ps_irq_register(irq_ops, irq_info, serial_server_irq_handle, NULL);
/seL4-camkes-master/projects/global-components/components/SerialServer/src/plat/arm_common/
H A Dplat.c26 irq_id_t serial_irq_id = ps_irq_register(irq_ops, irq_info, serial_server_irq_handle, NULL);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h159 irq_id_t irq_id, seL4_Word *ret_badge);
170 int sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id);
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dpwm.h56 irq_id_t t0_irq; /* irq for timer 0 */
57 irq_id_t t4_irq;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dirq_server.h118 irq_id_t irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq,
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h40 irq_id_t irq_id;
H A Depit.h41 irq_id_t irq_id;
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c67 irq_id_t bound_irqs[MAX_INTERRUPTS_TO_NOTIFICATIONS];
92 irq_id_t irq_id;
95 static inline bool check_irq_id_is_valid(irq_cookie_t *irq_cookie, irq_id_t id)
135 static inline bool check_irq_id_is_allocated(irq_cookie_t *irq_cookie, irq_id_t id)
157 static irq_id_t find_free_irq_id(irq_cookie_t *irq_cookie)
215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id,
290 static irq_id_t irq_register_common(irq_cookie_t *irq_cookie, ps_irq_t irq, irq_callback_fn_t callback,
301 irq_id_t free_id = find_free_irq_id(irq_cookie);
386 memset(cookie->ntfn_table[i].bound_irqs, UNPAIRED_ID, sizeof(irq_id_t) * MAX_INTERRUPTS_TO_NOTIFICATIONS);
434 static int sel4platsupport_irq_unregister(void *cookie, irq_id_t irq_i
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dltimer.h53 void **vmap, pmem_region_t *pmem, irq_id_t *irq_id,
63 irq_id_t temp_irq_id;
H A Dfdt.c40 irq_id_t irq_id;
307 irq_id_t registered_id = ps_irq_register(&helper_token->io_ops->irq_ops,
321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h53 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h74 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h51 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h71 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h53 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h59 irq_id_t irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h55 irq_id_t irq_id;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c84 static irq_id_t irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback,
89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data);
299 irq_id_t irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq,
308 irq_id_t ret_id = 0;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c122 static irq_id_t camkes_irq_register(void *cookie, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data)
147 return (irq_id_t)(*irq_entry)->irq_handler;
150 static int camkes_irq_unregister(void *cookie, irq_id_t irq_id)
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c147 irq_id_t registered_id = ps_irq_register(&rk->ops.irq_ops, irq, rk_handle_irq, rk);
227 irq_id_t irq2_id = ps_irq_register(&ops.irq_ops, irq2, rk_handle_irq, rk);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c38 irq_id_t timer_irq_ids[NUM_TIMERS];
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c28 irq_id_t timer_irq_id;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c29 irq_id_t timer_irq_id;

Completed in 329 milliseconds

12