Index: xen-4.2.0-testing/tools/blktap/drivers/blktapctrl.c
===================================================================
--- xen-4.2.0-testing.orig/tools/blktap/drivers/blktapctrl.c
+++ xen-4.2.0-testing/tools/blktap/drivers/blktapctrl.c
@@ -61,6 +61,9 @@
 #include "list.h"
 #include "xs_api.h" /* for xs_fire_next_watch() */
 
+#undef DPRINTF
+#define DPRINTF(_f, _a...) ((void)0)
+
 #define PIDFILE "/var/run/blktapctrl.pid"
 
 #define NUM_POLL_FDS 2