static void arm_cpu_register_types(void)

{

    int i;



    type_register_static(&arm_cpu_type_info);

    for (i = 0; i < ARRAY_SIZE(arm_cpus); i++) {

        cpu_register(&arm_cpus[i]);

    }

}

static void arm_cpu_register_types(void)

{

    int i;



    type_register_static(&arm_cpu_type_info);

    for (i = 0; i < ARRAY_SIZE(arm_cpus); i++) {

        cpu_register(&arm_cpus[i]);

    }

}

static void FUNC_0(void)

{

    int VAR_0;



    type_register_static(&arm_cpu_type_info);

    for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(arm_cpus); VAR_0++) {

        cpu_register(&arm_cpus[VAR_0]);

    }

}

static void FUNC_0(void)
{ int VAR_0; type_register_static(&arm_cpu_type_info); for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(arm_cpus); VAR_0++) { cpu_register(&arm_cpus[VAR_0]); } }