X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/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 df7e5df4e..41153fed9 100644
--- 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;
     }