X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp b/kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp
index 523e71843..b350599b3 100644
--- a/kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/integrator/mem_layout-arm-integrator.cpp
@@ -3,21 +3,11 @@ INTERFACE [arm-integrator]: //----------------------------------------------
 EXTENSION class Mem_layout
 {
 public:
-  enum Virt_layout_integrator : Address {
-    Uart_map_base        = Devices0_map_base,
-    Timer_map_base       = Devices1_map_base,
-    Pic_map_base         = Devices2_map_base,
-    Integrator_map_base  = Devices3_map_base,
-    Uart_base            = Uart_map_base,
-  };
-
-  enum Phys_layout : Address {
-    Devices0_phys_base   = 0x16000000,
-    Devices1_phys_base   = 0x13000000,
-    Devices2_phys_base   = 0x14000000,
-    Devices3_phys_base   = 0x10000000,
-    Sdram_phys_base      = 0x00000000,
-    Flush_area_phys_base = 0xe0000000,
+  enum Phys_layout_integrator : Address {
+    Integrator_phys_base = 0x10000000,
+    Timer_phys_base      = 0x13000000,
+    Pic_phys_base        = 0x14000000,
+    Uart_phys_base       = 0x16000000,
   };
 };