1/*
 2 * Samsung's Exynos4212 SoC device tree source
 3 *
 4 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
 5 *		http://www.samsung.com
 6 *
 7 * Samsung's Exynos4212 SoC device nodes are listed in this file. Exynos4212
 8 * based board files can include this file and provide values for board specfic
 9 * bindings.
10 *
11 * Note: This file does not include device nodes for all the controllers in
12 * Exynos4212 SoC. As device tree coverage for Exynos4212 increases, additional
13 * nodes can be added to this file.
14 *
15 * This program is free software; you can redistribute it and/or modify
16 * it under the terms of the GNU General Public License version 2 as
17 * published by the Free Software Foundation.
18*/
19
20#include "exynos4x12.dtsi"
21
22/ {
23	compatible = "samsung,exynos4212", "samsung,exynos4";
24
25	combiner: interrupt-controller@10440000 {
26		samsung,combiner-nr = <18>;
27	};
28
29	gic: interrupt-controller@10490000 {
30		cpu-offset = <0x8000>;
31	};
32};