Searched refs:irq_walk_cb_fn_t (Results 1 - 18 of 18) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 23 irq_walk_cb_fn_t callback, void *token)
|
H A D | tegra.c | 31 irq_walk_cb_fn_t callback, void *token)
|
H A D | omap3.c | 23 irq_walk_cb_fn_t callback, void *token)
|
H A D | gic.c | 41 irq_walk_cb_fn_t callback, void *token)
|
H A D | gicv3.c | 55 irq_walk_cb_fn_t callback, void *token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 23 irq_walk_cb_fn_t callback, void *token)
|
H A D | tegra.c | 31 irq_walk_cb_fn_t callback, void *token)
|
H A D | omap3.c | 23 irq_walk_cb_fn_t callback, void *token)
|
H A D | gic.c | 41 irq_walk_cb_fn_t callback, void *token)
|
H A D | gicv3.c | 55 irq_walk_cb_fn_t callback, void *token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token); typedef 113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token);
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token); typedef 113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token);
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | irqchip.h | 45 irq_walk_cb_fn_t callback, void *token);
|
H A D | fdt.c | 159 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | irqchip.h | 45 irq_walk_cb_fn_t callback, void *token);
|
H A D | fdt.c | 159 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 34 irq_walk_cb_fn_t callback, void *token)
|
/seL4-refos-master/libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 34 irq_walk_cb_fn_t callback, void *token)
|
Completed in 108 milliseconds