Searched refs:ppc_irq_reset (Results 1 – 4 of 4) sorted by relevance
85 static inline void ppc_irq_reset(PowerPCCPU *cpu) {} in ppc_irq_reset() function93 void ppc_irq_reset(PowerPCCPU *cpu);
136 ppc_irq_reset(const char *name) "%s"
1542 void ppc_irq_reset(PowerPCCPU *cpu) in ppc_irq_reset() function
7210 ppc_irq_reset(cpu); in ppc_cpu_reset_hold()