Ignore duplicate timer run requests.


git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@4575 c046a42c-6fe2-441c-8c8c-71466251a162
diff --git a/hw/ptimer.c b/hw/ptimer.c
index 7dd6d31..356fad7 100644
--- a/hw/ptimer.c
+++ b/hw/ptimer.c
@@ -100,6 +100,9 @@
 
 void ptimer_run(ptimer_state *s, int oneshot)
 {
+    if (s->enabled) {
+        return;
+    }
     if (s->period == 0) {
         fprintf(stderr, "Timer with period zero, disabling\n");
         return;