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

/barrelfish-master/usr/acpi/
H A Dvtd_debug.h21 #define VTD_DEBUG(x...) printf("vtd: " x) macro
23 #define VTD_DEBUG(x...) ((void)0) macro

Completed in 80 milliseconds