A more generic way of passing caps to user-space drivers.
[barrelfish] / usr / kaluga / debug.h
index 3980836..4e6255e 100644 (file)
@@ -18,7 +18,7 @@
 #define KALUGA_SERVICE_DEBUG 1
 
 #if defined(KALUGA_SERVICE_DEBUG) || defined(GLOBAL_DEBUG)
-#define KALUGA_DEBUG(x...) debug_printf("kaluga: " x)
+#define KALUGA_DEBUG(x...) debug_printf(x)
 #else
 #define KALUGA_DEBUG(x...) ((void)0)
 #endif