ia64/xen-unstable

changeset 17595:0bc934366127

x86 pci passthrough: Make printk messages more exact.
Signed-off-by: Weidong Han <weidong.han@intel.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed May 07 09:45:55 2008 +0100 (2008-05-07)
parents 2e6d2eac74d9
children 9a6ad687ec20
files xen/arch/x86/domctl.c
line diff
     1.1 --- a/xen/arch/x86/domctl.c	Wed May 07 09:30:34 2008 +0100
     1.2 +++ b/xen/arch/x86/domctl.c	Wed May 07 09:45:55 2008 +0100
     1.3 @@ -540,7 +540,7 @@ long arch_do_domctl(
     1.4          if ( device_assigned(bus, devfn) )
     1.5          {
     1.6              gdprintk(XENLOG_ERR, "XEN_DOMCTL_test_assign_device: "
     1.7 -                     "%x:%x:%x already assigned\n",
     1.8 +                     "%x:%x:%x already assigned, or non-existent\n",
     1.9                       bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
    1.10              break;
    1.11          }
    1.12 @@ -569,7 +569,7 @@ long arch_do_domctl(
    1.13          if ( device_assigned(bus, devfn) )
    1.14          {
    1.15              gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
    1.16 -                     "%x:%x:%x already assigned\n",
    1.17 +                     "%x:%x:%x already assigned, or non-existent\n",
    1.18                       bus, PCI_SLOT(devfn), PCI_FUNC(devfn));
    1.19              break;
    1.20          }