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