Not sure why we need the 2x but it reflects what the hardware does

hankhank · hankhank · commit 00a769f3f186 · 2014-07-22T14:38:13.000+10:00
diff --git a/hw/timer/stm32_timer.c b/hw/timer/stm32_timer.c
@@ -120,10 +120,10 @@ typedef struct {
 
 static void stm32_timer_freq(Stm32Timer *s)
 {
-    uint32_t clk_freq = stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph) / (s->psc + 1);
+    uint32_t clk_freq = 2*stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph) / (s->psc + 1);
 	DPRINTF
 	(
-		"%s Update freq = %d / %d = %d\n",
+		"%s Update freq = 2 * %d / %d = %d\n",
 		stm32_periph_name(s->periph),
 		stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph),
 		(s->psc + 1),

Original file line number	Diff line number	Diff line change
`@@ -120,10 +120,10 @@ typedef struct {`
`120`	`120`
`121`	`121`	`static void stm32_timer_freq(Stm32Timer *s)`
`122`	`122`	`{`
`123`		`- uint32_t clk_freq = stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph) / (s->psc + 1);`
	`123`	`+ uint32_t clk_freq = 2*stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph) / (s->psc + 1);`
`124`	`124`	`DPRINTF`
`125`	`125`	`(`
`126`		`- "%s Update freq = %d / %d = %d\n",`
	`126`	`+ "%s Update freq = 2 * %d / %d = %d\n",`
`127`	`127`	`stm32_periph_name(s->periph),`
`128`	`128`	`stm32_rcc_get_periph_freq(s->stm32_rcc, s->periph),`
`129`	`129`	`(s->psc + 1),`