1/* 2 * Copyright 2017, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 * See "LICENSE_BSD2.txt" for details. 9 * 10 * @TAG(DATA61_BSD) 11 */ 12 13#pragma once 14 15enum irq_combiner_id { 16 IRQ_COMBINER0, 17 NIRQ_COMBINERS 18}; 19 20#define EXYNOS4_IRQ_COMBINER_PADDR 0x10440000 21#define EXYNOS4_IRQ_COMBINER_SIZE 0x1000 22 23#define EXYNOS_IRQ_COMBINER_PADDR EXYNOS4_IRQ_COMBINER_PADDR 24#define EXYNOS_IRQ_COMBINER_SIZE EXYNOS4_IRQ_COMBINER_SIZE 25 26/** 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 30 * @return 0 on success. 31 */ 32int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner); 33 34