On 10/8/19 1:17 PM, Peter Maydell wrote: > @@ -945,7 +977,7 @@ static void exynos4210_mct_update_freq(Exynos4210MCTState > *s) > DPRINTF("freq=%dHz\n", s->freq); > > /* global timer */ > - ptimer_set_freq(s->g_timer.ptimer_frc, s->freq); > + tx_ptimer_set_freq(s->g_timer.ptimer_frc, s->freq); > > /* local timer */ > ptimer_set_freq(s->l_timer[0].tick_timer.ptimer_tick, s->freq);
Failed to update them all, it would appear. r~