From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 4 Dec 2007 10:29:00 +0000 (+0000)
Subject: vt-d: Print messages when:
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14683^2~6
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=85fddf82c6ddc3327ea93e0adea3c76449a84b5c;p=xen.git

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

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index 03a0e1e57d..09633cba14 100644
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -546,7 +546,12 @@ long arch_do_domctl(
         devfn = (domctl->u.assign_device.machine_bdf >> 8) & 0xff;
 
         if ( device_assigned(bus, devfn) )
+        {
+            gdprintk(XENLOG_ERR, "XEN_DOMCTL_assign_device: "
+                     "%x:%x:%x already assigned\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",
diff --git a/xen/arch/x86/hvm/vmx/vtd/dmar.c b/xen/arch/x86/hvm/vmx/vtd/dmar.c
index 1d11cd960e..49aa994a49 100644
--- a/xen/arch/x86/hvm/vmx/vtd/dmar.c
+++ b/xen/arch/x86/hvm/vmx/vtd/dmar.c
@@ -553,5 +553,7 @@ int acpi_dmar_init(void)
         return -ENODEV;
     }
 
+    printk("Intel VT-d has been enabled\n");
+
     return 0;
 }