Signed-of-by: Jose Renato Santos <jsantos@hpl.hp.com>  

# HG changeset patch
# User Jose Renato Santos <jsantos@hpl.hp.com>
# Date 1228245326 28800
# Node ID b50c75346a67bad3463e1a95b81fca000b23a21e
# Parent  d535cef01a8905b1bd35f67a89d4114b1a5068e0
enable MSI.

diff -r d535cef01a89 -r b50c75346a67 xen/arch/x86/irq.c
--- a/xen/arch/x86/irq.c	Fri Nov 28 15:43:42 2008 +0000
+++ b/xen/arch/x86/irq.c	Tue Dec 02 11:15:26 2008 -0800
@@ -798,10 +798,6 @@ int map_domain_pirq(
 
     ASSERT(spin_is_locked(&d->event_lock));
 
-    /* XXX Until pcidev and msi locking is fixed. */
-    if ( type == MAP_PIRQ_TYPE_MSI )
-        return -EINVAL;
-
     if ( !IS_PRIV(current->domain) )
         return -EPERM;