Searched refs:irq_id (Results 1 - 25 of 59) sorted by relevance

123

/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h125 * @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-refos-master/libs/libplatsupport/include/platsupport/
H A Dirq.h125 * @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-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c201 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-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c201 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-refos-master/libs/libplatsupport/src/
H A Dltimer.h53 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
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dltimer.h53 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
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h153 * @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-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h153 * @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-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c129 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-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c129 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-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dpwm.c256 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-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpwm.c256 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-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c92 irq_id_t irq_id; member in struct:__anon8
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-refos-master/libs/libsel4platsupport/src/
H A Dirq.c92 irq_id_t irq_id; member in struct:__anon4
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-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h40 irq_id_t irq_id; member in struct:gpt
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h40 irq_id_t irq_id; member in struct:gpt
/seL4-refos-master/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); 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-refos-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); 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-refos-master/libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c71 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-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c71 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-refos-master/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);
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-refos-master/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);
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-refos-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);
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-refos-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);
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-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dtimer.c181 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,

Completed in 109 milliseconds

123