Searched refs:cpu_4xx_wdt_cb (Results 1 – 1 of 1) sorted by relevance
1270 static void cpu_4xx_wdt_cb (void *opaque) in cpu_4xx_wdt_cb() function1374 cpu_4xx_wdt_cb(cpu); in store_40x_tcr()1411 timer_new_ns(QEMU_CLOCK_VIRTUAL, &cpu_4xx_wdt_cb, cpu); in ppc_40x_timers_init()