void s390_init_cpus(const char *cpu_model)

{

    int i;



    if (cpu_model == NULL) {

        cpu_model = "host";

    }



    ipi_states = g_malloc(sizeof(S390CPU *) * smp_cpus);



    for (i = 0; i < smp_cpus; i++) {

        S390CPU *cpu;

        CPUState *cs;



        cpu = cpu_s390x_init(cpu_model);

        cs = CPU(cpu);



        ipi_states[i] = cpu;

        cs->halted = 1;

        cs->exception_index = EXCP_HLT;

    }

}

void s390_init_cpus(const char *cpu_model)

{

    int i;



    if (cpu_model == NULL) {

        cpu_model = "host";

    }



    ipi_states = g_malloc(sizeof(S390CPU *) * smp_cpus);



    for (i = 0; i < smp_cpus; i++) {

        S390CPU *cpu;

        CPUState *cs;



        cpu = cpu_s390x_init(cpu_model);

        cs = CPU(cpu);



        ipi_states[i] = cpu;

        cs->halted = 1;

        cs->exception_index = EXCP_HLT;

    }

}

void FUNC_0(const char *VAR_0)

{

    int VAR_1;



    if (VAR_0 == NULL) {

        VAR_0 = "host";

    }



    ipi_states = g_malloc(sizeof(S390CPU *) * smp_cpus);



    for (VAR_1 = 0; VAR_1 < smp_cpus; VAR_1++) {

        S390CPU *cpu;

        CPUState *cs;



        cpu = cpu_s390x_init(VAR_0);

        cs = CPU(cpu);



        ipi_states[VAR_1] = cpu;

        cs->halted = 1;

        cs->exception_index = EXCP_HLT;

    }

}

void FUNC_0(const char *VAR_0)
{ int VAR_1; if (VAR_0 == NULL) { VAR_0 = "host"; } ipi_states = g_malloc(sizeof(S390CPU *) * smp_cpus); for (VAR_1 = 0; VAR_1 < smp_cpus; VAR_1++) { S390CPU *cpu; CPUState *cs; cpu = cpu_s390x_init(VAR_0); cs = CPU(cpu); ipi_states[VAR_1] = cpu; cs->halted = 1; cs->exception_index = EXCP_HLT; } }