|
@@ -31,6 +31,11 @@ extern void combiner_cascade_irq(unsigned int combiner_nr, unsigned int irq);
|
|
|
/* Initial IO mappings */
|
|
|
static struct map_desc exynos4_iodesc[] __initdata = {
|
|
|
{
|
|
|
+ .virtual = (unsigned long)S5P_VA_SYSTIMER,
|
|
|
+ .pfn = __phys_to_pfn(EXYNOS4_PA_SYSTIMER),
|
|
|
+ .length = SZ_4K,
|
|
|
+ .type = MT_DEVICE,
|
|
|
+ }, {
|
|
|
.virtual = (unsigned long)S5P_VA_SYSRAM,
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_SYSRAM),
|
|
|
.length = SZ_4K,
|