Searched defs:DEBUGPRINT (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/webserver/
H A Dwebserver_debug.h21 #define DEBUGPRINT(arg...) printf("WEBSERVER: " arg) macro
23 #define DEBUGPRINT(arg...) ((void)0) macro
/barrelfish-2018-10-04/usr/device_managers/dma/
H A Ddebug.h27 #define DEBUGPRINT(x...) debug_printf(x) macro
29 #define DEBUGPRINT(x... ) macro
/barrelfish-2018-10-04/usr/drivers/ioat_dma/
H A Ddebug.h29 #define DEBUGPRINT(x...) debug_printf(x) macro
31 #define DEBUGPRINT(x... ) macro
/barrelfish-2018-10-04/usr/ramfsd/
H A Dwebserver_session.h19 #define DEBUGPRINT(arg...) printf(arg) macro
21 #define DEBUGPRINT(arg...) ((void)0) macro

Completed in 46 milliseconds