@@ -45,6 +45,13 @@ static struct map_desc uart_io_desc __initdata = {
.type = MT_DEVICE,
};
+static struct map_desc gic_cpu_io_desc __initdata = {
+ .virtual = 0xff000000,
+ .pfn = __phys_to_pfn(0xfff00000),
+ .length = SZ_1M,
+ .type = MT_DEVICE_NS,
+};
+
static void __init socfpga_scu_map_io(void)
{
unsigned long base;
@@ -60,6 +67,7 @@ static void __init socfpga_map_io(void)
{
socfpga_scu_map_io();
iotable_init(&uart_io_desc, 1);
+ iotable_init(&gic_cpu_io_desc, 1);
early_printk("Early printk initialized\n");
}