Searched refs:irq_ops (Results 1 - 25 of 28) sorted by relevance

12

/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h57 * @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 Dirq.h20 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 Dio.h507 ps_irq_ops_t irq_ops; member in struct:ps_io_ops
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c64 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 Dirq.c553 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 Dio.c355 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 Dpwm.c267 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 Dtimer.c130 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 Dltimer.c180 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 Dltimer.c178 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 Dltimer.c170 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 Dtimer.c72 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 Dgpt.c260 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 Depit.c211 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 Dgeneric_ltimer.c144 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 Dtimer.c182 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id);
H A Di2c.c440 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 Dsp804.c168 error = ps_irq_unregister(&sp804->ops.irq_ops, sp804->irq_id);
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c370 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 Dmain.c647 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 Dtimer.c560 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 Dfdt.c307 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 Ddmt.c202 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c282 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 Dtx2.c408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);

Completed in 184 milliseconds

12