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

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/
H A Dirq_combiner.h20 #define EXYNOS4_IRQ_COMBINER_PADDR 0x10440000 macro
23 #define EXYNOS_IRQ_COMBINER_PADDR EXYNOS4_IRQ_COMBINER_PADDR

Completed in 75 milliseconds