/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 125 * @param irq_id An IRQ ID that was allocated by the IRQ interface 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) argument 146 return irq_ops->irq_unregister_fn(irq_ops->cookie, irq_id);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 201 if (dmt->irq_id != PS_INVALID_IRQ_ID) { 202 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id); 231 &dmt->dmt_map_base, &dmt->pmem, &dmt->irq_id, 266 dmt->irq_id = PS_INVALID_IRQ_ID; 277 irq_id_t irq_id = ps_fdt_index_register_irq(&ops, cookie, 1, dmt_handle_irq, dmt); local 278 if (irq_id <= PS_INVALID_IRQ_ID) { 279 ZF_LOGE("Failed to register irqs (%d)", irq_id); 280 return irq_id; 289 dmt->irq_id = irq_id; [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, 58 assert(vmap != NULL && pmem != NULL && irq_id != NULL); 66 *irq_id = PS_INVALID_IRQ_ID; 96 *irq_id = temp_irq_id; 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 311 helper_token->irq_id = registered_id; 345 return token.irq_id;
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 153 * @param irq_id ID of a registered interrupt 159 irq_id_t irq_id, seL4_Word *ret_badge); 166 * @param irq_id ID of a registered interrupt that is paired with a notification 170 int sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 129 if (rk->irq_id != PS_INVALID_IRQ_ID) { 130 error = ps_irq_unregister(&rk->ops.irq_ops, rk->irq_id); 149 rk->irq_id = registered_id; 193 rk->irq_id = ps_fdt_cleanup_cookie(&ops.malloc_ops, cookie); 194 if (rk->irq_id) { 196 return rk->irq_id; 225 rk->irq_id = PS_INVALID_IRQ_ID; 232 rk->irq_id = irq2_id;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 256 irq_id_t irq_id; local 267 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq0, pwm); 268 if (irq_id < 0) { 270 return irq_id; 272 pwm->t0_irq = irq_id; 276 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq4, pwm); 277 if (irq_id < 0) { 279 return irq_id; 281 pwm->t4_irq = irq_id;
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 92 irq_id_t irq_id; member in struct:__anon16 215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id, argument 218 irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]); 281 ntfn_entry->bound_irqs[badge_index] = irq_id; 434 static int sel4platsupport_irq_unregister(void *cookie, irq_id_t irq_id) argument 438 if (!check_irq_id_is_valid(irq_cookie, irq_id)) { 442 if (!check_irq_id_is_allocated(irq_cookie, irq_id)) { 446 irq_entry_t *irq_entry = &(irq_cookie->irq_table[irq_id]); 480 unfill_bit_in_bitfield(irq_cookie->allocated_irq_bitfields, irq_id); 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-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | gpt.h | 40 irq_id_t irq_id; member in struct:gpt
|
H A D | epit.h | 41 irq_id_t irq_id; member in struct:epit
|
/seL4-camkes-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 371 if (irq_id < 0) { 374 gpt->irq_id = irq_id; 383 if (gpt->irq_id != PS_INVALID_IRQ_ID) { 384 error = ps_irq_unregister(&gpt->ops.irq_ops, gpt->irq_id); 410 gpt->irq_id = PS_INVALID_IRQ_ID;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 71 if (tmr->irq_id > PS_INVALID_IRQ_ID) { 72 int error = ps_irq_unregister(&tmr->ops.irq_ops, tmr->irq_id); 148 tmr->irq_id = ps_irq_register(&tmr->ops.irq_ops, irq, nv_tmr_handle_irq, tmr); 149 if (tmr->irq_id < 0) { 167 tmr->irq_id = PS_INVALID_IRQ_ID;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 260 gpt->irq_id = ps_irq_register(&gpt->io_ops.irq_ops, irq, gpt_handle_irq, gpt); 261 if (gpt->irq_id < 0) { 274 gpt->irq_id = PS_INVALID_IRQ_ID; 358 if (gpt->irq_id != PS_INVALID_IRQ_ID) { 359 ZF_LOGF_IF(ps_irq_unregister(&gpt->io_ops.irq_ops, gpt->irq_id), "Failed to unregister IRQ");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 211 epit->irq_id = ps_irq_register(&epit->io_ops.irq_ops, irq, epit_handle_irq, epit); 212 if (epit->irq_id < 0) { 230 epit->irq_id = PS_INVALID_IRQ_ID; 278 if (epit->irq_id != PS_INVALID_IRQ_ID) { 279 ZF_LOGF_IF(ps_irq_unregister(&epit->io_ops.irq_ops, epit->irq_id), "Failed to unregister IRQ");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 181 if (dmt->irq_id != PS_INVALID_IRQ_ID) { 182 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id); 208 (void *) &dmt->hw, &dmt->pmem, &dmt->irq_id,
|
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 399 .irq_id = irq_id, 425 int irq_id; local 440 irq_id = ps_irq_register(&io_ops->irq_ops, irqs[id], i2c_handle_irq_wrapper, i2c_bus); 441 if (irq_id < 0) { 453 return omap4_i2c_init(vaddr, irq_id, io_ops, i2c_bus);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 167 if (sp804->irq_id != PS_INVALID_IRQ_ID) { 168 error = ps_irq_unregister(&sp804->ops.irq_ops, sp804->irq_id); 194 (void *) &sp804->sp804_map, &sp804->pmem, &sp804->irq_id,
|
/seL4-camkes-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 90 if (irq_id < 0) { 93 return irq_id; 96 error = sel4platsupport_irq_set_ntfn(&(irq_server->irq_ops), ntfn_id, irq_id, NULL); 99 ps_irq_unregister(&(irq_server->irq_ops), irq_id); 106 return irq_id;
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 53 irq_id_t irq_id; member in struct:__anon38
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 59 irq_id_t irq_id; member in struct:__anon35
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 55 irq_id_t irq_id; member in struct:__anon14
|