diff --git a/xen/arch/x86/hvm/irq.c b/xen/arch/x86/hvm/irq.c
index 90e1f45174..beec1fc72c 100644
--- a/xen/arch/x86/hvm/irq.c
+++ b/xen/arch/x86/hvm/irq.c
@@ -355,7 +355,6 @@ struct hvm_intack hvm_vcpu_ack_pending_irq(
             intack = hvm_intack_none;
         break;
     case hvm_intsrc_pic:
-        ASSERT(v->vcpu_id == 0);
         if ( (vector = vpic_ack_pending_irq(v)) == -1 )
             intack = hvm_intack_none;
         else