diff -r 267152c91a40 xen/arch/x86/hvm/vlapic.c
--- a/xen/arch/x86/hvm/vlapic.c	Wed Jun 11 16:31:12 2008 +0200
+++ b/xen/arch/x86/hvm/vlapic.c	Wed Jun 11 16:31:53 2008 +0200
@@ -414,7 +414,7 @@ void vlapic_EOI_set(struct vlapic *vlapi
     if ( vlapic_test_and_clear_vector(vector, &vlapic->regs->data[APIC_TMR]) )
         vioapic_update_EOI(vlapic_domain(vlapic), vector);
 	
-    if ( vtd_enabled )
+    if ( iommu_enabled )
         hvm_dpci_msi_eoi(current->domain, vector);
 }
 
diff -r 267152c91a40 xen/drivers/passthrough/io.c
--- a/xen/drivers/passthrough/io.c	Wed Jun 11 16:31:12 2008 +0200
+++ b/xen/drivers/passthrough/io.c	Wed Jun 11 16:31:53 2008 +0200
@@ -216,7 +216,7 @@ void hvm_dpci_msi_eoi(struct domain *d, 
     struct hvm_irq_dpci *hvm_irq_dpci = d->arch.hvm_domain.irq.dpci;
     int pirq;
 
-    if ( !vtd_enabled || (hvm_irq_dpci == NULL) )
+    if ( !iommu_enabled || (hvm_irq_dpci == NULL) )
        return;
 
     pirq = hvm_irq_dpci->msi_gvec_pirq[vector];