Searched refs:spapr_irq_cpu_intc_reset (Results 1 – 3 of 3) sorted by relevance
74 void spapr_irq_cpu_intc_reset(struct SpaprMachineState *spapr, PowerPCCPU *cpu);
79 spapr_irq_cpu_intc_reset(spapr, cpu); in spapr_reset_vcpu()
229 void spapr_irq_cpu_intc_reset(SpaprMachineState *spapr, PowerPCCPU *cpu) in spapr_irq_cpu_intc_reset() function