static void spapr_cpu_core_register_types(void)

{

    const SPAPRCoreInfo *info = spapr_cores;



    type_register_static(&spapr_cpu_core_type_info);

    while (info->name) {

        spapr_cpu_core_register(info);

        info++;

    }

}

static void spapr_cpu_core_register_types(void)

{

    const SPAPRCoreInfo *info = spapr_cores;



    type_register_static(&spapr_cpu_core_type_info);

    while (info->name) {

        spapr_cpu_core_register(info);

        info++;

    }

}

static void FUNC_0(void)

{

    const SPAPRCoreInfo *VAR_0 = spapr_cores;



    type_register_static(&spapr_cpu_core_type_info);

    while (VAR_0->name) {

        spapr_cpu_core_register(VAR_0);

        VAR_0++;

    }

}

static void FUNC_0(void)
{ const SPAPRCoreInfo *VAR_0 = spapr_cores; type_register_static(&spapr_cpu_core_type_info); while (VAR_0->name) { spapr_cpu_core_register(VAR_0); VAR_0++; } }