update

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

diff --git a/l4/pkg/io/server/src/vbus_factory.cc b/l4/pkg/io/server/src/vbus_factory.cc
index df7e5df4e93102c118f852a22a49a580be83fb8e..41153fed9ca7180872cb3daa244156773c904ce8 100644 (file)
--- a/l4/pkg/io/server/src/vbus_factory.cc
+++ b/l4/pkg/io/server/src/vbus_factory.cc
@@ -6,6 +6,7 @@
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
  */
+#include "debug.h"
 #include "vbus_factory.h"
 
 namespace Vi {
@@ -17,7 +18,7 @@ Dev_factory::create(std::string const &_class)
   Name_map::iterator i = m.find(_class);
   if (i == m.end())
     {
-      printf("WARNING: cannot create virtual device: '%s'\n",
+      d_printf(DBG_WARN, "WARNING: cannot create virtual device: '%s'\n",
              _class.c_str());
       return 0;
     }