update

[l4.git] / l4 / pkg / bootstrap / server / src / region.cc

diff --git a/l4/pkg/bootstrap/server/src/region.cc b/l4/pkg/bootstrap/server/src/region.cc
index 0a7cb2496532815a346bb37a1434f8aa4525a609..bd261730bfa8025160b9d5866404e89472fa019d 100644 (file)
--- a/l4/pkg/bootstrap/server/src/region.cc
+++ b/l4/pkg/bootstrap/server/src/region.cc
@@ -152,7 +152,7 @@ Region_list::contains(Region const &o)
 void
 Region::print() const
 {
-  printf("  [%9llx, %9llx]", begin(), end());
+  printf("  [%9llx, %9llx] {%9llx}", begin(), end(), end() - begin() + 1);
 }
 
 void