[Xen-changelog] [xen-unstable] x86 pci passthrough: Make printk messages more exact.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1210149955 -3600
# Node ID 0bc9343661273585966f30f12d36ceb784a63787
# Parent  2e6d2eac74d9a5195ebf596b5c98de62dae42d7c
x86 pci passthrough: Make printk messages more exact.
Signed-off-by: Weidong Han <weidong.han@xxxxxxxxx>
---
 xen/arch/x86/domctl.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff -r 2e6d2eac74d9 -r 0bc934366127 xen/arch/x86/domctl.c
--- a/xen/arch/x86/domctl.c     Wed May 07 09:30:34 2008 +0100
+++ b/xen/arch/x86/domctl.c     Wed May 07 09:45:55 2008 +0100
@@ -540,7 +540,7 @@ long arch_do_domctl(
         if ( device_assigned(bus, devfn) )
         {
             gdprintk(XENLOG_ERR, "XEN_DOMCTL_test_assign_device: "
-                     "%x:%x:%x already assigned\n",
+                     "%x:%x:%x already assigned, or non-existent\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
             break;
         }
@@ -569,7 +569,7 @@ long arch_do_domctl(
         if ( device_assigned(bus, devfn) )
         {
             gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
-                     "%x:%x:%x already assigned\n",
+                     "%x:%x:%x already assigned, or non-existent\n",
                      bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
             break;
         }

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog