void cpu_exec_exit(CPUState *cpu)

{

    if (cpu->cpu_index == -1) {

        /* cpu_index was never allocated by this @cpu or was already freed. */

        return;

    }



    bitmap_clear(cpu_index_map, cpu->cpu_index, 1);

    cpu->cpu_index = -1;

}

void cpu_exec_exit(CPUState *cpu)

{

    if (cpu->cpu_index == -1) {

        

        return;

    }



    bitmap_clear(cpu_index_map, cpu->cpu_index, 1);

    cpu->cpu_index = -1;

}

void FUNC_0(CPUState *VAR_0)

{

    if (VAR_0->cpu_index == -1) {

        

        return;

    }



    bitmap_clear(cpu_index_map, VAR_0->cpu_index, 1);

    VAR_0->cpu_index = -1;

}

void FUNC_0(CPUState *VAR_0)
{ if (VAR_0->cpu_index == -1) { return; } bitmap_clear(cpu_index_map, VAR_0->cpu_index, 1); VAR_0->cpu_index = -1; }