Searched refs:VTD_DEBUG (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/acpi/ |
H A D | vtd_debug.h | 21 #define VTD_DEBUG(x...) printf("vtd: " x) macro 23 #define VTD_DEBUG(x...) ((void)0) macro
|
H A D | intel_vtd.c | 52 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