pci: Correct BDF format from B:D:F to B:D.F in log messages.

Signed-off-by: Weidong Han <weidong.han@intel.com>

diff --git a/xen/arch/ia64/xen/dom0_ops.c b/xen/arch/ia64/xen/dom0_ops.c
index 26cd19a96f30d53330196c4da440143f7998391a..d5a971e84b7fe604e0df708ba40dcddbe11ecb87 100644 (file)
--- a/xen/arch/ia64/xen/dom0_ops.c
+++ b/xen/arch/ia64/xen/dom0_ops.c
@@ -312,7 +312,7 @@ long arch_do_domctl(xen_domctl_t *op, XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
         if ( device_assigned(bus, devfn) )
         {
             printk( "XEN_DOMCTL_test_assign_device: "
-                     "%x:%x:%x already assigned, or non-existent\n",
+                     "%x:%x.%x already assigned, or non-existent\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
             break;
         }
@@ -348,13 +348,13 @@ long arch_do_domctl(xen_domctl_t *op, XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
         if ( device_assigned(bus, devfn) )
         {
             gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
-                     "%x:%x:%x already assigned, or non-existent\n",
+                     "%x:%x.%x already assigned, or non-existent\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
             break;
         }
 
         ret = assign_device(d, bus, devfn);
-        gdprintk(XENLOG_INFO, "XEN_DOMCTL_assign_device: bdf = %x:%x:%x\n",
+        gdprintk(XENLOG_INFO, "XEN_DOMCTL_assign_device: bdf = %x:%x.%x\n",
                  bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
         put_domain(d);
     }
@@ -390,7 +390,7 @@ long arch_do_domctl(xen_domctl_t *op, XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
 
         ret = 0;
         deassign_device(d, bus, devfn);
-        gdprintk(XENLOG_INFO, "XEN_DOMCTL_deassign_device: bdf = %x:%x:%x\n",
+        gdprintk(XENLOG_INFO, "XEN_DOMCTL_deassign_device: bdf = %x:%x.%x\n",
             bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
         put_domain(d);
     }

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index 4b0011a52c942ebd8420d80d15d996e4b2c5238c..ece40141bf3767b27cf35610254cd503b1f2dfe2 100644 (file)
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -688,7 +688,7 @@ long arch_do_domctl(
         if ( device_assigned(bus, devfn) )
         {
             gdprintk(XENLOG_ERR, "XEN_DOMCTL_test_assign_device: "
-                     "%x:%x:%x already assigned, or non-existent\n",
+                     "%x:%x.%x already assigned, or non-existent\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
             break;
         }
@@ -732,7 +732,7 @@ long arch_do_domctl(
         ret = assign_device(d, bus, devfn);
         if ( ret )
             gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
-                     "assign device (%x:%x:%x) failed\n",
+                     "assign device (%x:%x.%x) failed\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
 
     assign_device_out:
@@ -774,7 +774,7 @@ long arch_do_domctl(
         spin_lock(&pcidevs_lock);
         ret = deassign_device(d, bus, devfn);
         spin_unlock(&pcidevs_lock);
-        gdprintk(XENLOG_INFO, "XEN_DOMCTL_deassign_device: bdf = %x:%x:%x\n",
+        gdprintk(XENLOG_INFO, "XEN_DOMCTL_deassign_device: bdf = %x:%x.%x\n",
             bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
 
     deassign_device_out:

diff --git a/xen/drivers/passthrough/vtd/iommu.c b/xen/drivers/passthrough/vtd/iommu.c
index 4cd07090a8df90e8dd59b559deba2bb6555e5486..4343410d185421b47b43a13cfa12a3670b857d40 100644 (file)
--- a/xen/drivers/passthrough/vtd/iommu.c
+++ b/xen/drivers/passthrough/vtd/iommu.c
@@ -1383,7 +1383,7 @@ static int domain_context_unmap(struct domain *domain, u8 bus, u8 devfn)
 
     default:
         gdprintk(XENLOG_ERR VTDPREFIX,
-                 "domain_context_unmap:unknown type: bdf = %x:%x:%x\n",
+                 "domain_context_unmap:unknown type: bdf = %x:%x.%x\n",
                  bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
         ret = -EINVAL;
         break;

diff --git a/xen/drivers/passthrough/vtd/utils.c b/xen/drivers/passthrough/vtd/utils.c
index cfcbed1f01acf97e676ee274eac8d8d9d0bc73be..4053f883cacadc6cd21cedf0c5134d803d838c3d 100644 (file)
--- a/xen/drivers/passthrough/vtd/utils.c
+++ b/xen/drivers/passthrough/vtd/utils.c
@@ -116,7 +116,7 @@ void print_vtd_entries(struct iommu *iommu, int bus, int devfn, u64 gmfn)
     u64 *l;
     u32 l_index, level;
 
-    printk("print_vtd_entries: iommu = %p bdf = %x:%x:%x gmfn = %"PRIx64"\n",
+    printk("print_vtd_entries: iommu = %p bdf = %x:%x.%x gmfn = %"PRIx64"\n",
            iommu, bus, PCI_SLOT(devfn), PCI_FUNC(devfn), gmfn);
 
     if ( iommu->root_maddr == 0 )

diff --git a/xen/drivers/passthrough/vtd/x86/ats.c b/xen/drivers/passthrough/vtd/x86/ats.c
index 308a66640df17aba10b7ff66e66caae5b197e14a..d16e55bda29bba1aee7d91626b264f304f63ae74 100644 (file)
--- a/xen/drivers/passthrough/vtd/x86/ats.c
+++ b/xen/drivers/passthrough/vtd/x86/ats.c
@@ -124,12 +124,12 @@ int enable_ats_device(int seg, int bus, int devfn)
     pos = pci_find_ext_capability(seg, bus, devfn, PCI_EXT_CAP_ID_ATS);
     if ( !pos )
     {
-        dprintk(XENLOG_ERR VTDPREFIX, "ats capability not found %x:%x:%x\n",
+        dprintk(XENLOG_ERR VTDPREFIX, "ats capability not found %x:%x.%x\n",
                 bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
         return 0;
     }
     else
-        dprintk(XENLOG_ERR VTDPREFIX, "ats capability found %x:%x:%x\n",
+        dprintk(XENLOG_ERR VTDPREFIX, "ats capability found %x:%x.%x\n",
                 bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
 
     /* BUGBUG: add back seg when multi-seg platform support is enabled */