1 files changed, 2 insertions, 0 deletions
diff --git a/hw/i8259.c b/hw/i8259.c
index e09bc9f312..809ea95a5d 100644
--- a/hw/i8259.c
+++ b/hw/i8259.c
@@ -231,6 +231,8 @@ static void pic_ioport_write(void *opaque, uint32_t addr, uint32_t val)
             tmp = s->elcr_mask;
             memset(s, 0, sizeof(PicState));
             s->elcr_mask = tmp;
+            /* deassert a pending interrupt */
+            cpu_reset_interrupt(cpu_single_env, CPU_INTERRUPT_HARD);
 
             s->init_state = 1;
             s->init4 = val & 1;