Revision 88a78d90

b/hw/ppc_booke.c
237 237

  
238 238
}
239 239

  
240
static void ppc_booke_timer_reset_handle(void *opaque)
241
{
242
    PowerPCCPU *cpu = opaque;
243
    CPUPPCState *env = &cpu->env;
244

  
245
    env->spr[SPR_BOOKE_TSR] = 0;
246
    env->spr[SPR_BOOKE_TCR] = 0;
247

  
248
    booke_update_irq(cpu);
249
}
250

  
240 251
void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags)
241 252
{
242 253
    ppc_tb_t *tb_env;
......
257 268
        qemu_new_timer_ns(vm_clock, &booke_fit_cb, cpu);
258 269
    booke_timer->wdt_timer =
259 270
        qemu_new_timer_ns(vm_clock, &booke_wdt_cb, cpu);
271

  
272
    qemu_register_reset(ppc_booke_timer_reset_handle, cpu);
260 273
}

Also available in: Unified diff