[Xen-changelog] [xen-unstable] vt-d: Print messages when:

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

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1196764140 0
# Node ID 0e8e68cfc8acf27aeca1f8aa8ad451f30d330c34
# Parent  d2bef6551c1263e457aef75ce403ba53652a803f
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@xxxxxxxxx>
---
 xen/arch/x86/domctl.c           |    7 ++++++-
 xen/arch/x86/hvm/vmx/vtd/dmar.c |    6 ++++--
 2 files changed, 10 insertions(+), 3 deletions(-)

diff -r d2bef6551c12 -r 0e8e68cfc8ac xen/arch/x86/domctl.c
--- a/xen/arch/x86/domctl.c     Tue Dec 04 10:25:35 2007 +0000
+++ b/xen/arch/x86/domctl.c     Tue Dec 04 10:29:00 2007 +0000
@@ -546,7 +546,12 @@ long arch_do_domctl(
         devfn = (domctl->u.assign_device.machine_bdf >> 8) & 0xff;
 
         if ( device_assigned(bus, devfn) )
-            break;
+        {
+            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 -r d2bef6551c12 -r 0e8e68cfc8ac xen/arch/x86/hvm/vmx/vtd/dmar.c
--- a/xen/arch/x86/hvm/vmx/vtd/dmar.c   Tue Dec 04 10:25:35 2007 +0000
+++ b/xen/arch/x86/hvm/vmx/vtd/dmar.c   Tue Dec 04 10:29:00 2007 +0000
@@ -553,5 +553,7 @@ int acpi_dmar_init(void)
         return -ENODEV;
     }
 
-    return 0;
-}
+    printk("Intel VT-d has been enabled\n");
+
+    return 0;
+}

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