use SDR0_0_Base define
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 2 Aug 2018 09:02:54 +0000 (10:02 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 2 Aug 2018 09:02:54 +0000 (10:02 +0100)
src/lib/MemoryMap.bsv

index 1b1bfef..4f81131 100644 (file)
@@ -60,11 +60,15 @@ endfunction
 function Bool is_IO_Addr(Bit#(`PADDR) addr); // TODO Shuold be PADDR
         if(addr>=`DebugBase && addr<=`DebugEnd)
             return (True);
-        else if(addr>=`SDRAMMemBase && addr<=`SDRAMMemEnd)
-        `ifdef FlexBus
-                return (True);
-        `else
-            return (False);
+        else
+        `ifdef SDR0_0_Base
+            if(addr>=`SDR0_0_Base && addr<=`SDR0_0_End)
+            `ifdef FlexBus
+                    return (True);
+            `else
+                return (False);
+         `else
+             return (False);
         `endif
         `ifdef BOOTROM
             else if(addr>=`BootRomBase && addr<=`BootRomEnd)