Searched defs:DRIVERKIT_DEBUG (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/lib/driverkit/ | ||
| H A D | debug.h | 16 #define DRIVERKIT_DEBUG(x...) debug_printf("[dkit] " x) macro 18 #define DRIVERKIT_DEBUG(x...) ((void)0) macro |
Completed in 30 milliseconds