| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | irq_combiner.h | 21 int (*is_pending)(irq_combiner_t* combiner, combiner_irq_t cirq);
22 int (*is_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq);
23 int (*set_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq, int v);
24 uint32_t (*grp_pending)(irq_combiner_t* combiner, int group);
37 * Initialise the IRQ combiner
38 * @param[in] id The combiner device ID
40 * @param[out] combiner An IRQ combiner structure to populate
43 int irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner);
46 * Find the number of IRQ groups managed by the combiner
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 | 21 int (*is_pending)(irq_combiner_t* combiner, combiner_irq_t cirq);
22 int (*is_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq);
23 int (*set_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq, int v);
24 uint32_t (*grp_pending)(irq_combiner_t* combiner, int group);
37 * Initialise the IRQ combiner
38 * @param[in] id The combiner device ID
40 * @param[out] combiner An IRQ combiner structure to populate
43 int irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner);
46 * Find the number of IRQ groups managed by the combiner
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
42 assert(combiner);
43 assert(combiner->priv);
44 return (volatile struct irq_combiner_map*)combiner->priv;
48 exynos_irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
52 regs = irq_combiner_get_regs(combiner);
59 exynos_irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
63 regs = irq_combiner_get_regs(combiner);
70 exynos_irq_combiner_set_enabled(irq_combiner_t* combiner, combiner_irq_t cirq, int v) argument
74 regs = irq_combiner_get_regs(combiner);
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
42 assert(combiner);
43 assert(combiner->priv);
44 return (volatile struct irq_combiner_map*)combiner->priv;
48 exynos_irq_combiner_is_pending(irq_combiner_t* combiner, combiner_irq_t cirq) argument
52 regs = irq_combiner_get_regs(combiner);
59 exynos_irq_combiner_is_enabled(irq_combiner_t* combiner, combiner_irq_t cirq) argument
63 regs = irq_combiner_get_regs(combiner);
70 exynos_irq_combiner_set_enabled(irq_combiner_t* combiner, combiner_irq_t cirq, int v) argument
74 regs = irq_combiner_get_regs(combiner);
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/libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
| H A D | irq_combiner.h | 27 * Initialise the IRQ combiner with a provided address for IO access
28 * @param[in] base The memory address of the combiner registers
29 * @param[out] combiner An IRQ combiner structure to populate
32 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
| H A D | irq_combiner.h | 27 * Initialise the IRQ combiner with a provided address for IO access
28 * @param[in] base The memory address of the combiner registers
29 * @param[out] combiner An IRQ combiner structure to populate
32 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|
| /seL4-refos-master/libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
| H A D | irq_combiner.h | 103 * Initialise the IRQ combiner with a provided address for IO access
104 * @param[in] base The memory address of the combiner registers
105 * @param[out] combiner An IRQ combiner structure to populate
108 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
| H A D | irq_combiner.h | 103 * Initialise the IRQ combiner with a provided address for IO access
104 * @param[in] base The memory address of the combiner registers
105 * @param[out] combiner An IRQ combiner structure to populate
108 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|