update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/pxa/bootstrap-arm-pxa.cpp b/kernel/fiasco/src/kern/arm/bsp/pxa/bootstrap-arm-pxa.cpp
index 836e3f6206b16b273be8be478eb94dbbe93981f3..1748923d990865c176efaa3e55204d3dfa7d3599 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/pxa/bootstrap-arm-pxa.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/pxa/bootstrap-arm-pxa.cpp
@@ -1,20 +1,7 @@
 //-----------------------------------------------------------------------------
 INTERFACE [arm && pxa]:
-
+namespace Bootstrap {
 enum {
   Cache_flush_area = 0xa0100000, // XXX: hacky
 };
-
-//-----------------------------------------------------------------------------
-IMPLEMENTATION [arm && pxa]:
-
-void
-map_hw(void *pd)
-{
-  // map the cache flush area to 0xef000000
-  map_1mb(pd, Mem_layout::Cache_flush_area, Mem_layout::Flush_area_phys_base, true, false);
-
-  map_dev<Mem_layout::Devices0_phys_base>(pd, 0);
-  map_dev<Mem_layout::Devices1_phys_base>(pd, 1);
-  map_dev<Mem_layout::Devices2_phys_base>(pd, 2);
 }