diff -r 0814d57b5a29 xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c	Tue Sep 15 11:13:56 2009 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c	Thu Sep 17 18:51:30 2009 +0100
@@ -1219,7 +1219,7 @@
     if ( d->arch.hvm_domain.hap_enabled && d->vcpu && d->vcpu[0] )
     {
         ASSERT(local_irq_is_enabled());
-        on_each_cpu(__ept_sync_domain, d, 1);
+        on_selected_cpus(&d->domain_dirty_cpumask, __ept_sync_domain, d, 1);
     }
 }