Searched refs:ppc40x_core_reset (Results 1 – 2 of 2) sorted by relevance
74 void ppc40x_core_reset(PowerPCCPU *cpu);
279 void ppc40x_core_reset(PowerPCCPU *cpu) in ppc40x_core_reset() function324 ppc40x_core_reset(cpu); in store_40x_dbcr0()370 ppc40x_core_reset(cpu); in ppc40x_set_irq()1323 ppc40x_core_reset(cpu); in cpu_4xx_wdt_cb()