update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/pxa/mem_layout-arm-pxa.cpp b/kernel/fiasco/src/kern/arm/bsp/pxa/mem_layout-arm-pxa.cpp
index 4baa51bda66fce26e0bfcefa8819405f54a01644..2d1da9ccf573a7ee211511d122f1a2de9ab9fe87 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/pxa/mem_layout-arm-pxa.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/pxa/mem_layout-arm-pxa.cpp
@@ -3,17 +3,17 @@ INTERFACE [arm-pxa]: //------------------------------------------------------
 EXTENSION class Mem_layout
 {
 public:
-  enum Virt_layout_pxa {
-    Timer_map_base       = 0xef100000,
-    Pic_map_base         = 0xef200000,
-    Uart_map_base        = 0xef300000,
+  enum Virt_layout_pxa : Address {
+    Timer_map_base       = Devices0_map_base,
+    Pic_map_base         = Devices1_map_base,
+    Uart_map_base        = Devices2_map_base,
     Uart_base            = Uart_map_base,
   };
 
-  enum Phys_layout {
-    Timer_phys_base      = 0x40a00000,
-    Pic_phys_base        = 0x40d00000,
-    Uart_phys_base       = 0x40100000,
+  enum Phys_layout : Address {
+    Devices0_phys_base   = 0x40a00000,
+    Devices1_phys_base   = 0x40d00000,
+    Devices2_phys_base   = 0x40100000,
     Sdram_phys_base      = 0xa0000000,
     Flush_area_phys_base = 0xe0000000,
   };