Searched refs:VTD_DEBUG (Results 1 - 2 of 2) 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
H A Dintel_vtd.c52 VTD_DEBUG("Printing the list of domains:\n");
362 VTD_DEBUG("Creating domain with pt = %"PRIu64", did = %d\n", pt, did);
635 VTD_DEBUG("Adding device %d:%d:%d:%d\n", segment, bus, dev, func);
726 VTD_DEBUG("Failure in retrieving DMAR table.\n");
782 VTD_DEBUG("adding device (bridge) %d:%d:%d to the identity domain.\n", bus, dev, func);
798 VTD_DEBUG("adding %s device %d:%d:%d to the identity domain.\n", s_type, bus, dev, func);
822 VTD_DEBUG("DMA remapping: no HW units, not enabling\n");
827 VTD_DEBUG("VT-d: no large page support, not enabling\n");
848 VTD_DEBUG("Enabling DMA remapping succeeded\n");

Completed in 62 milliseconds