Searched refs:DQI_DEBUG (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/lib/devif/
H A Ddqi_debug.h22 #define DQI_DEBUG(x...) do { printf("DQI:%s.%d:%s:%d: ", \ macro
28 #define DQI_DEBUG(x...) ((void)0) macro
H A Dqueue_interface.c133 DQI_DEBUG("Enqueue q=%p rid=%d, offset=%lu, lenght=%lu, err=%s \n",
188 DQI_DEBUG("Dequeue q=%p rid=%u, offset=%lu \n", q, *region_id, *offset);
222 DQI_DEBUG("register q=%p, cap=%p, regionid=%d \n", (void*) q,
258 DQI_DEBUG("deregister q=%p, cap=%p, regionid=%d \n", (void*) q,

Completed in 32 milliseconds