diff -r 46e78da6cc0e -r dc9d42551b05 src/base/addr_range.hh
--- a/src/base/addr_range.hh	Wed Sep 24 23:37:31 2014 -0500
+++ b/src/base/addr_range.hh	Wed Sep 24 23:44:06 2014 -0500
@@ -58,6 +58,7 @@
   private:
 
     /// Private fields for the start and end of the range
+    /// Both _start and _end are part of the range.
     Addr _start;
     Addr _end;
 
@@ -166,7 +167,7 @@
     /**
      * Determine if the range is valid.
      */
-    bool valid() const { return _start < _end; }
+    bool valid() const { return _start <= _end; }
 
     /**
      * Get the start address of the range.