ia64/xen-unstable

changeset 16509:0e8e68cfc8ac

vt-d: Print messages when:
- vt-d has been enabled by xen
- user attempts assign a PCI device that has already been assigned to another hvm guest

Signed-off-by: Allen Kay <allen.m.kay@intel.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Dec 04 10:29:00 2007 +0000 (2007-12-04)
parents d2bef6551c12
children 7bee812a0397
files xen/arch/x86/domctl.c xen/arch/x86/hvm/vmx/vtd/dmar.c
line diff
     1.1 --- a/xen/arch/x86/domctl.c	Tue Dec 04 10:25:35 2007 +0000
     1.2 +++ b/xen/arch/x86/domctl.c	Tue Dec 04 10:29:00 2007 +0000
     1.3 @@ -546,7 +546,12 @@ long arch_do_domctl(
     1.4          devfn = (domctl->u.assign_device.machine_bdf >> 8) & 0xff;
     1.5  
     1.6          if ( device_assigned(bus, devfn) )
     1.7 +        {
     1.8 +            gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
     1.9 +                     "%x:%x:%x already assigned\n",
    1.10 +                     bus, PCI_SLOT(devfn), PCI_FUNC(devfn)); 
    1.11              break;
    1.12 +        }
    1.13  
    1.14          ret = assign_device(d, bus, devfn);
    1.15          gdprintk(XENLOG_INFO, "XEN_DOMCTL_assign_device: bdf = %x:%x:%x\n",
     2.1 --- a/xen/arch/x86/hvm/vmx/vtd/dmar.c	Tue Dec 04 10:25:35 2007 +0000
     2.2 +++ b/xen/arch/x86/hvm/vmx/vtd/dmar.c	Tue Dec 04 10:29:00 2007 +0000
     2.3 @@ -553,5 +553,7 @@ int acpi_dmar_init(void)
     2.4          return -ENODEV;
     2.5      }
     2.6  
     2.7 +    printk("Intel VT-d has been enabled\n");
     2.8 +
     2.9      return 0;
    2.10  }