Update

[l4.git] / l4 / pkg / io / io / server / src / virt / vbus_factory.h

diff --git a/l4/pkg/io/server/src/virt/vbus_factory.h b/l4/pkg/io/io/server/src/virt/vbus_factory.h
similarity index 94%
rename from l4/pkg/io/server/src/virt/vbus_factory.h
rename to l4/pkg/io/io/server/src/virt/vbus_factory.h
index acbe24d57d70ad8785be5cb51ad96ab49155559b..e817822e8ad22ea4908264759d3ac92ad888f315 100644 (file)
--- a/l4/pkg/io/server/src/virt/vbus_factory.h
+++ b/l4/pkg/io/io/server/src/virt/vbus_factory.h
@@ -81,16 +81,9 @@ public:
 
   VI *do_match(HW_BASE *dev)
   {
-#if 0
-    if (dev->ref_count())
-      printf("WARNING: device '%s' already assigned to another virtual bus.\n",
-             dev->name());
-#endif
-
     VI *d = 0;
     if (HW* h = dynamic_cast<HW*>(dev))
       d = new VI(h);
-//    dev->inc_ref_count();
     return d;
   }