Searched refs:grp_pending (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/
H A Dirq_combiner.h24 uint32_t (*grp_pending)(irq_combiner_t* combiner, int group); member in struct:irq_combiner
129 return combiner->grp_pending(combiner, group);
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dirq_combiner.h24 uint32_t (*grp_pending)(irq_combiner_t* combiner, int group); member in struct:irq_combiner
129 return combiner->grp_pending(combiner, group);
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c111 combiner->grp_pending = &exynos_irq_combiner_grp_pending;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c111 combiner->grp_pending = &exynos_irq_combiner_grp_pending;

Completed in 33 milliseconds