Just like the other messages in this function this one should be issued
through plain printk() - the current vCPU is irrelevant here. (Noticed
while backporting to older trees, which don't have gprintk().)
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Kevin Tian <kevin.tian@intel.com>
break;
}
- gprintk(XENLOG_G_WARNING VTDPREFIX, "%s: reason %02x - %s\n",
- kind, fault_reason, reason);
+ printk(XENLOG_G_WARNING VTDPREFIX "%s: reason %02x - %s\n",
+ kind, fault_reason, reason);
if ( iommu_verbose && fault_type == DMA_REMAP )
print_vtd_entries(iommu, PCI_BUS(source_id), PCI_DEVFN2(source_id),