update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / imx / bootstrap-arm-imx.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp b/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
index 40d38bed465e161afa8e213a87d1a3c4374ba8d4..b3023a8e6e883086ae178407e62eb7f94dc21909 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
@@ -11,7 +11,17 @@ void
 map_hw(void *pd)
 {
   // map devices
-  map_1mb(pd, Mem_layout::Device_map_base, Mem_layout::Device_phys_base, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
+}
+
+//-----------------------------------------------------------------------------
+IMPLEMENTATION [arm && imx35]:
+void
+map_hw(void *pd)
+{
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_2, Mem_layout::Device_phys_base_2, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_3, Mem_layout::Device_phys_base_3, false, false);
 }
 
 //-----------------------------------------------------------------------------
@@ -19,6 +29,6 @@ IMPLEMENTATION [arm && imx51]:
 void
 map_hw(void *pd)
 {
-  map_1mb(pd, Mem_layout::Device_map_base,   Mem_layout::Device_phys_base_1, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
   map_1mb(pd, Mem_layout::Device_map_base_2, Mem_layout::Device_phys_base_2, false, false);
 }