@@ -248,6 +248,14 @@ static void stm32f2xx_update_egr(STM32F2XXTimerState *s, uint64_t value)
}
DB_PRINT("write EGR = %x\n", s->tim_egr);
}
+
+static void stm32f2xx_update_cnt(STM32F2XXTimerState *s, uint64_t value)
+{
+ ptimer_transaction_begin(s->timer);
+ stm32f2xx_timer_set_count(s, value & 0xffff);
+ ptimer_transaction_commit(s->timer);
+ DB_PRINT("write cnt = %x\n", stm32f2xx_timer_get_count(s));
+}
static void stm32f2xx_timer_write(void *opaque, hwaddr offset,
uint64_t val64, unsigned size)
{