# 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
|