Searched defs:combiner (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | irq_combiner.h | 70 irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
84 irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
98 irq_combiner_enable_irq(irq_combiner_t* combiner, combiner_irq_t cirq) argument
112 irq_combiner_disable_irq(irq_combiner_t* combiner, combiner_irq_t cirq) argument
125 irq_combiner_group_pending(irq_combiner_t* combiner, int group) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | irq_combiner.h | 70 irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
84 irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
98 irq_combiner_enable_irq(irq_combiner_t* combiner, combiner_irq_t cirq) argument
112 irq_combiner_disable_irq(irq_combiner_t* combiner, combiner_irq_t cirq) argument
125 irq_combiner_group_pending(irq_combiner_t* combiner, int group) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | irq_combiner.c | 41 irq_combiner_get_regs(irq_combiner_t* combiner) { argument
48 exynos_irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
59 exynos_irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
70 exynos_irq_combiner_set_enabled(irq_combiner_t* combiner, combiner_irq_t cirq, int v) argument
86 exynos_irq_combiner_grp_pending(irq_combiner_t* combiner, int group) argument
101 irq_combiner_init_common(irq_combiner_t* combiner) argument
117 exynos_irq_combiner_init(void* base, irq_combiner_t* combiner) argument
126 irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | irq_combiner.c | 41 irq_combiner_get_regs(irq_combiner_t* combiner) { argument
48 exynos_irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
59 exynos_irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
70 exynos_irq_combiner_set_enabled(irq_combiner_t* combiner, combiner_irq_t cirq, int v) argument
86 exynos_irq_combiner_grp_pending(irq_combiner_t* combiner, int group) argument
101 irq_combiner_init_common(irq_combiner_t* combiner) argument
117 exynos_irq_combiner_init(void* base, irq_combiner_t* combiner) argument
126 irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner) argument
[all...] |
Completed in 181 milliseconds