X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/4323e178f084712b74f7addcfd470f56e6d5eb7e..cbb47e56624d49f37d93cc495f0f08e8a4da9c1c:/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 004815639..0214b9b29 100644
--- 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)
 	    {