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;
Remove unneeded qemu_irq_lower because user mode timers don't support
IRQs and the IRQ is lowered when switching to user mode.