diff -r b249f3e979a5 xen/arch/x86/hvm/vpt.c
--- a/xen/arch/x86/hvm/vpt.c	Mon Mar 09 10:32:24 2009 +0000
+++ b/xen/arch/x86/hvm/vpt.c	Mon Mar 09 11:32:14 2009 +0000
@@ -209,7 +209,8 @@
         set_timer(&pt->timer, pt->scheduled);
     }
 
-    vcpu_kick(pt->vcpu);
+    if ( !pt_irq_masked(pt) )
+        vcpu_kick(pt->vcpu);
 
     pt_unlock(pt);
 }