/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 75 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 D | fdt.h | 144 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 D | plat.c | 26 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 D | plat.c | 26 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 D | irq.h | 159 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 D | pwm.h | 56 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 D | irq_server.h | 118 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 D | gpt.h | 40 irq_id_t irq_id;
|
H A D | epit.h | 41 irq_id_t irq_id;
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 67 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 D | ltimer.h | 53 void **vmap, pmem_region_t *pmem, irq_id_t *irq_id, 63 irq_id_t temp_irq_id;
|
H A D | fdt.c | 40 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 D | timer.h | 53 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 74 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 51 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 71 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 53 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 59 irq_id_t irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 55 irq_id_t irq_id;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 84 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 D | irq.c | 122 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 D | timer.c | 147 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 D | ltimer.c | 38 irq_id_t timer_irq_ids[NUM_TIMERS];
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 28 irq_id_t timer_irq_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 29 irq_id_t timer_irq_id;
|