static void spapr_cpu_init(sPAPRMachineState *spapr, PowerPCCPU *cpu,

                           Error **errp)

{

    CPUPPCState *env = &cpu->env;



    /* Set time-base frequency to 512 MHz */

    cpu_ppc_tb_init(env, SPAPR_TIMEBASE_FREQ);



    /* Enable PAPR mode in TCG or KVM */

    cpu_ppc_set_papr(cpu, PPC_VIRTUAL_HYPERVISOR(spapr));



    if (spapr->max_compat_pvr) {

        Error *local_err = NULL;



        ppc_set_compat(cpu, spapr->max_compat_pvr, &local_err);

        if (local_err) {

            error_propagate(errp, local_err);

            return;

        }

    }



    qemu_register_reset(spapr_cpu_reset, cpu);

    spapr_cpu_reset(cpu);

}

static void spapr_cpu_init(sPAPRMachineState *spapr, PowerPCCPU *cpu,

                           Error **errp)

{

    CPUPPCState *env = &cpu->env;



    

    cpu_ppc_tb_init(env, SPAPR_TIMEBASE_FREQ);



    

    cpu_ppc_set_papr(cpu, PPC_VIRTUAL_HYPERVISOR(spapr));



    if (spapr->max_compat_pvr) {

        Error *local_err = NULL;



        ppc_set_compat(cpu, spapr->max_compat_pvr, &local_err);

        if (local_err) {

            error_propagate(errp, local_err);

            return;

        }

    }



    qemu_register_reset(spapr_cpu_reset, cpu);

    spapr_cpu_reset(cpu);

}

static void FUNC_0(sPAPRMachineState *VAR_0, PowerPCCPU *VAR_1,

                           Error **VAR_2)

{

    CPUPPCState *env = &VAR_1->env;



    

    cpu_ppc_tb_init(env, SPAPR_TIMEBASE_FREQ);



    

    cpu_ppc_set_papr(VAR_1, PPC_VIRTUAL_HYPERVISOR(VAR_0));



    if (VAR_0->max_compat_pvr) {

        Error *local_err = NULL;



        ppc_set_compat(VAR_1, VAR_0->max_compat_pvr, &local_err);

        if (local_err) {

            error_propagate(VAR_2, local_err);

            return;

        }

    }



    qemu_register_reset(spapr_cpu_reset, VAR_1);

    spapr_cpu_reset(VAR_1);

}

static void FUNC_0(sPAPRMachineState *VAR_0, PowerPCCPU *VAR_1,
Error **VAR_2)
{ CPUPPCState *env = &VAR_1->env; cpu_ppc_tb_init(env, SPAPR_TIMEBASE_FREQ); cpu_ppc_set_papr(VAR_1, PPC_VIRTUAL_HYPERVISOR(VAR_0)); if (VAR_0->max_compat_pvr) { Error *local_err = NULL; ppc_set_compat(VAR_1, VAR_0->max_compat_pvr, &local_err); if (local_err) { error_propagate(VAR_2, local_err); return; } } qemu_register_reset(spapr_cpu_reset, VAR_1); spapr_cpu_reset(VAR_1); }