update

[l4.git] / l4 / pkg / io / server / src / res.cc

diff --git a/l4/pkg/io/server/src/res.cc b/l4/pkg/io/server/src/res.cc
index 0048156390fe195beceded732f5b55fcae711061..0214b9b29cb7fa86fd13a587b202e526754d4859 100644 (file)
--- a/l4/pkg/io/server/src/res.cc
+++ b/l4/pkg/io/server/src/res.cc
@@ -215,10 +215,10 @@ l4_addr_t res_map_iomem(l4_addr_t phys, l4_addr_t size)
          int res = map_iomem_range(iomem->phys + min, iomem->virt + min,
              max - min);
 
-         d_printf(DBG_DEBUG2, "map mem: p=%lx v=%lx s=%lx: %s\n",
+         d_printf(DBG_DEBUG2, "map mem: p=%lx v=%lx s=%lx: %s(%d)\n",
                   iomem->phys + min,
                    iomem->virt + min, max - min,
-                   res < 0 ? "failed" : "done");
+                   res < 0 ? "failed" : "done", res);
 
          if (res >= 0)
            {