Searched refs:ppc_booke_timer_reset_handle (Results 1 – 1 of 1) sorted by relevance
301 static void ppc_booke_timer_reset_handle(void *opaque) in ppc_booke_timer_reset_handle() function368 qemu_register_reset(ppc_booke_timer_reset_handle, cpu); in ppc_booke_timers_init()