/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 57 * @param irq_ops Interface to fill in 66 int sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, 86 * @param irq_ops Interface to fill in 93 int sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, 108 * @param irq_ops Initialised IRQ interface 114 ntfn_id_t sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, 122 * @param irq_ops Initialised IRQ interface 129 int sel4platsupport_irq_provide_ntfn_with_id(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, 137 * @param irq_ops Initialised IRQ interface 143 int sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_ [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 20 if (!irq_ops) return -EINVAL;\ 21 if (!irq_ops->cookie) return -EINVAL;\ 22 if (!irq_ops->FUN) return -ENOSYS;\ 137 static inline int ps_irq_register(ps_irq_ops_t *irq_ops, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data) argument 140 return irq_ops->irq_register_fn(irq_ops->cookie, irq, callback, callback_data); 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);
|
H A D | io.h | 507 ps_irq_ops_t irq_ops; member in struct:ps_io_ops
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 64 ps_irq_ops_t irq_ops; member in struct:irq_server 70 ps_irq_ops_t *irq_ops, seL4_Word badge) 73 int error = sel4platsupport_irq_handle(irq_ops, target_ntfn, badge); 89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data); 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); 125 static void _irq_thread_entry(irq_server_thread_t *my_thread_info, ps_irq_ops_t *irq_ops) argument 149 irq_server_node_handle_irq(my_thread_info, irq_ops, badge); 187 error = sel4platsupport_irq_provide_ntfn_with_id(&(irq_server->irq_ops), ntfn_to_use, 194 ntfn_id_t ntfn_id = sel4platsupport_irq_provide_ntfn(&(irq_server->irq_ops), ntfn_to_us 69 irq_server_node_handle_irq(irq_server_thread_t *thread_info, ps_irq_ops_t *irq_ops, seL4_Word badge) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 553 int sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument 556 if (!irq_ops || !vka || !simple || !malloc_ops) { 570 irq_ops->cookie = (void *) cookie; 571 irq_ops->irq_register_fn = sel4platsupport_irq_register; 572 irq_ops->irq_unregister_fn = sel4platsupport_irq_unregister; 577 int sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument 580 if (!irq_ops || !vka || !simple || !malloc_ops || !usable_mask) { 601 irq_ops->cookie = (void *) cookie; 602 irq_ops->irq_register_fn = sel4platsupport_irq_register_mini; 603 irq_ops 611 sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask) argument 638 sel4platsupport_irq_provide_ntfn_with_id(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask, ntfn_id_t id_hint) argument 665 sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_CPtr *ret_cptr) argument 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 821 sel4platsupport_irq_handle(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word handle_mask) argument 890 sel4platsupport_irq_wait(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word wait_mask, seL4_Word *ret_leftover_bits) argument 921 sel4platsupport_irq_poll(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word poll_mask, seL4_Word *ret_leftover_bits) argument [all...] |
H A D | io.c | 355 error = sel4platsupport_new_irq_ops(&io_ops->irq_ops, vka, simple, DEFAULT_IRQ_INTERFACE_CONFIG,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 267 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq0, pwm); 276 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq4, pwm); 297 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t0_irq); 301 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t4_irq);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 130 error = ps_irq_unregister(&rk->ops.irq_ops, rk->irq_id); 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-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 180 ps_irq_unregister(&spt_ltimer->ops.irq_ops, spt_ltimer->timer_irq_ids[i]); 234 spt_ltimer->timer_irq_ids[i] = ps_irq_register(&ops.irq_ops, *spt_ltimer->callback_datas[i].irq,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 178 int error = ps_irq_unregister(&timers->ops.irq_ops, timers->timer_irq_ids[i]); 257 timers->timer_irq_ids[i] = ps_irq_register(&ops.irq_ops, irqs[i], handle_irq_wrapper,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 170 int error = ps_irq_unregister(&odroidc2_timer->ops.irq_ops, odroidc2_timer->timer_irq_id); 219 odroidc2_timer->timer_irq_id = ps_irq_register(&ops.irq_ops, irqs[0], handle_irq_wrapper,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 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);
|
/seL4-test-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); 359 ZF_LOGF_IF(ps_irq_unregister(&gpt->io_ops.irq_ops, gpt->irq_id), "Failed to unregister IRQ");
|
/seL4-test-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); 279 ZF_LOGF_IF(ps_irq_unregister(&epit->io_ops.irq_ops, epit->irq_id), "Failed to unregister IRQ");
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 144 error = ps_irq_unregister(&generic_ltimer->ops.irq_ops, generic_ltimer->timer_irq_id); 202 generic_ltimer->timer_irq_id = ps_irq_register(&ops.irq_ops, *generic_ltimer->callback_data.irq,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 182 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id);
|
H A D | i2c.c | 440 irq_id = ps_irq_register(&io_ops->irq_ops, irqs[id], i2c_handle_irq_wrapper, i2c_bus);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 168 error = ps_irq_unregister(&sp804->ops.irq_ops, sp804->irq_id);
|
/seL4-test-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); 384 error = ps_irq_unregister(&gpt->ops.irq_ops, gpt->irq_id);
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | main.c | 647 irq_register_fn_copy = env.ops.irq_ops.irq_register_fn; 648 env.ops.irq_ops.irq_register_fn = sel4test_timer_irq_register; 652 env.ops.irq_ops.irq_register_fn = irq_register_fn_copy;
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 560 ttc->irq_id = ps_irq_register(&ttc->io_ops.irq_ops, irq, ttc_handle_irq, ttc); 646 ZF_LOGF_IF(ps_irq_unregister(&ttc->io_ops.irq_ops, ttc->irq_id), "Failed to unregister IRQ");
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 307 irq_id_t registered_id = ps_irq_register(&helper_token->io_ops->irq_ops,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 202 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 282 ZF_LOGF_IF(ps_irq_unregister(&pc99_ltimer->ops.irq_ops, pc99_ltimer->irq_id), 299 pc99_ltimer->irq_id = ps_irq_register(&ops.irq_ops, pc99_ltimer->irq, handle_irq,
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);
|