int kvmppc_fixup_cpu(PowerPCCPU *cpu)

{

    CPUState *cs = CPU(cpu);

    int smt;



    /* Adjust cpu index for SMT */

    smt = kvmppc_smt_threads();

    cs->cpu_index = (cs->cpu_index / smp_threads) * smt

        + (cs->cpu_index % smp_threads);



    return 0;

}

int kvmppc_fixup_cpu(PowerPCCPU *cpu)

{

    CPUState *cs = CPU(cpu);

    int smt;



    

    smt = kvmppc_smt_threads();

    cs->cpu_index = (cs->cpu_index / smp_threads) * smt

        + (cs->cpu_index % smp_threads);



    return 0;

}

int FUNC_0(PowerPCCPU *VAR_0)

{

    CPUState *cs = CPU(VAR_0);

    int VAR_1;



    

    VAR_1 = kvmppc_smt_threads();

    cs->cpu_index = (cs->cpu_index / smp_threads) * VAR_1

        + (cs->cpu_index % smp_threads);



    return 0;

}

int FUNC_0(PowerPCCPU *VAR_0)
{ CPUState *cs = CPU(VAR_0); int VAR_1; VAR_1 = kvmppc_smt_threads(); cs->cpu_index = (cs->cpu_index / smp_threads) * VAR_1
+ (cs->cpu_index % smp_threads); return 0; }