Remove unneeded qemu_irq_lower because user mode timers don't support IRQs and the IRQ is lowered when switching to user mode.
diff -p -u -r1.30 slavio_timer.c
--- hw/slavio_timer.c   26 Jan 2008 09:13:46 -0000      1.30
+++ hw/slavio_timer.c   3 Mar 2008 00:35:28 -0000
@@ -192,7 +192,6 @@ static void slavio_timer_mem_writel(void
             uint64_t count;
 
             // set user counter MSW, reset counter
-            qemu_irq_lower(s->irq);
             s->limit = TIMER_MAX_COUNT64;
             s->counthigh = val & (TIMER_MAX_COUNT64 >> 32);
             s->reached = 0;
@@ -218,7 +217,6 @@ static void slavio_timer_mem_writel(void
             uint64_t count;
 
             // set user counter LSW, reset counter
-            qemu_irq_lower(s->irq);
             s->limit = TIMER_MAX_COUNT64;
             s->count = val & TIMER_MAX_COUNT64;
             s->reached = 0;

Reply via email to