2 * Samsung exynos4210 SoC emulation
4 * Copyright (c) 2011 Samsung Electronics Co., Ltd. All rights reserved.
5 * Maksim Kozlov <m.kozlov@samsung.com>
6 * Evgeny Voevodin <e.voevodin@samsung.com>
7 * Igor Mitsyanko <i.mitsyanko@samsung.com>
10 * This program is free software; you can redistribute it and/or modify it
11 * under the terms of the GNU General Public License as published by the
12 * Free Software Foundation; either version 2 of the License, or
13 * (at your option) any later version.
15 * This program is distributed in the hope that it will be useful, but WITHOUT
16 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
20 * You should have received a copy of the GNU General Public License along
21 * with this program; if not, see <http://www.gnu.org/licenses/>.
29 #include "qemu-common.h"
30 #include "exec/memory.h"
32 #define EXYNOS4210_NCPUS 2
34 #define EXYNOS4210_DRAM0_BASE_ADDR 0x40000000
35 #define EXYNOS4210_DRAM1_BASE_ADDR 0xa0000000
36 #define EXYNOS4210_DRAM_MAX_SIZE 0x60000000 /* 1.5 GB */
38 #define EXYNOS4210_IROM_BASE_ADDR 0x00000000
39 #define EXYNOS4210_IROM_SIZE 0x00010000 /* 64 KB */
40 #define EXYNOS4210_IROM_MIRROR_BASE_ADDR 0x02000000
41 #define EXYNOS4210_IROM_MIRROR_SIZE 0x00010000 /* 64 KB */
43 #define EXYNOS4210_IRAM_BASE_ADDR 0x02020000
44 #define EXYNOS4210_IRAM_SIZE 0x00020000 /* 128 KB */
46 /* Secondary CPU startup code is in IROM memory */
47 #define EXYNOS4210_SMP_BOOT_ADDR EXYNOS4210_IROM_BASE_ADDR
48 #define EXYNOS4210_SMP_BOOT_SIZE 0x1000
49 #define EXYNOS4210_BASE_BOOT_ADDR EXYNOS4210_DRAM0_BASE_ADDR
50 /* Secondary CPU polling address to get loader start from */
51 #define EXYNOS4210_SECOND_CPU_BOOTREG 0x10020814
53 #define EXYNOS4210_SMP_PRIVATE_BASE_ADDR 0x10500000
54 #define EXYNOS4210_L2X0_BASE_ADDR 0x10502000
57 * exynos4210 IRQ subsystem stub definitions.
59 #define EXYNOS4210_IRQ_GATE_NINPUTS 2 /* Internal and External GIC */
61 #define EXYNOS4210_MAX_INT_COMBINER_OUT_IRQ 64
62 #define EXYNOS4210_MAX_EXT_COMBINER_OUT_IRQ 16
63 #define EXYNOS4210_MAX_INT_COMBINER_IN_IRQ \
64 (EXYNOS4210_MAX_INT_COMBINER_OUT_IRQ * 8)
65 #define EXYNOS4210_MAX_EXT_COMBINER_IN_IRQ \
66 (EXYNOS4210_MAX_EXT_COMBINER_OUT_IRQ * 8)
68 #define EXYNOS4210_COMBINER_GET_IRQ_NUM(grp, bit) ((grp)*8 + (bit))
69 #define EXYNOS4210_COMBINER_GET_GRP_NUM(irq) ((irq) / 8)
70 #define EXYNOS4210_COMBINER_GET_BIT_NUM(irq) \
71 ((irq) - 8 * EXYNOS4210_COMBINER_GET_GRP_NUM(irq))
73 /* IRQs number for external and internal GIC */
74 #define EXYNOS4210_EXT_GIC_NIRQ (160-32)
75 #define EXYNOS4210_INT_GIC_NIRQ 64
77 #define EXYNOS4210_I2C_NUMBER 9
79 typedef struct Exynos4210Irq
{
80 qemu_irq int_combiner_irq
[EXYNOS4210_MAX_INT_COMBINER_IN_IRQ
];
81 qemu_irq ext_combiner_irq
[EXYNOS4210_MAX_EXT_COMBINER_IN_IRQ
];
82 qemu_irq int_gic_irq
[EXYNOS4210_INT_GIC_NIRQ
];
83 qemu_irq ext_gic_irq
[EXYNOS4210_EXT_GIC_NIRQ
];
84 qemu_irq board_irqs
[EXYNOS4210_MAX_INT_COMBINER_IN_IRQ
];
87 typedef struct Exynos4210State
{
88 ARMCPU
*cpu
[EXYNOS4210_NCPUS
];
92 MemoryRegion chipid_mem
;
93 MemoryRegion iram_mem
;
94 MemoryRegion irom_mem
;
95 MemoryRegion irom_alias_mem
;
96 MemoryRegion dram0_mem
;
97 MemoryRegion dram1_mem
;
98 MemoryRegion boot_secondary
;
99 MemoryRegion bootreg_mem
;
100 I2CBus
*i2c_if
[EXYNOS4210_I2C_NUMBER
];
103 void exynos4210_write_secondary(ARMCPU
*cpu
,
104 const struct arm_boot_info
*info
);
106 Exynos4210State
*exynos4210_init(MemoryRegion
*system_mem
,
107 unsigned long ram_size
);
109 /* Initialize exynos4210 IRQ subsystem stub */
110 qemu_irq
*exynos4210_init_irq(Exynos4210Irq
*env
);
112 /* Initialize board IRQs.
113 * These IRQs contain splitted Int/External Combiner and External Gic IRQs */
114 void exynos4210_init_board_irqs(Exynos4210Irq
*s
);
116 /* Get IRQ number from exynos4210 IRQ subsystem stub.
117 * To identify IRQ source use internal combiner group and bit number
119 * bit - bit number inside group */
120 uint32_t exynos4210_get_irq(uint32_t grp
, uint32_t bit
);
123 * Get Combiner input GPIO into irqs structure
125 void exynos4210_combiner_get_gpioin(Exynos4210Irq
*irqs
, DeviceState
*dev
,
131 DeviceState
*exynos4210_uart_create(hwaddr addr
,
134 CharDriverState
*chr
,
137 #endif /* EXYNOS4210_H_ */