1 /* 2 * Samsung exynos4210 GIC implementation. Based on hw/arm_gic.c 3 * 4 * Copyright (c) 2000 - 2011 Samsung Electronics Co., Ltd. 5 * All rights reserved. 6 * 7 * Evgeny Voevodin <e.voevodin@samsung.com> 8 * 9 * This program is free software; you can redistribute it and/or modify it 10 * under the terms of the GNU General Public License as published by the 11 * Free Software Foundation; either version 2 of the License, or (at your 12 * option) any later version. 13 * 14 * This program is distributed in the hope that it will be useful, 15 * but WITHOUT ANY WARRANTY; without even the implied warranty of 16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 17 * See the GNU General Public License for more details. 18 * 19 * You should have received a copy of the GNU General Public License along 20 * with this program; if not, see <http://www.gnu.org/licenses/>. 21 */ 22 #ifndef HW_INTC_EXYNOS4210_GIC_H 23 #define HW_INTC_EXYNOS4210_GIC_H 24 25 #include "hw/sysbus.h" 26 27 #define TYPE_EXYNOS4210_GIC "exynos4210.gic" 28 OBJECT_DECLARE_SIMPLE_TYPE(Exynos4210GicState, EXYNOS4210_GIC) 29 30 #define EXYNOS4210_GIC_NCPUS 2 31 32 struct Exynos4210GicState { 33 SysBusDevice parent_obj; 34 35 MemoryRegion cpu_container; 36 MemoryRegion dist_container; 37 MemoryRegion cpu_alias[EXYNOS4210_GIC_NCPUS]; 38 MemoryRegion dist_alias[EXYNOS4210_GIC_NCPUS]; 39 uint32_t num_cpu; 40 DeviceState *gic; 41 }; 42 43 #endif 44