void cpu_exit(CPUState *cpu)

{

    cpu->exit_request = 1;

    /* Ensure cpu_exec will see the exit request after TCG has exited.  */

    smp_wmb();

    cpu->tcg_exit_req = 1;

}

void cpu_exit(CPUState *cpu)

{

    cpu->exit_request = 1;

    

    smp_wmb();

    cpu->tcg_exit_req = 1;

}

    cpu->exit_request = 1;     cpu->tcg_exit_req = 1;
void FUNC_0(CPUState *VAR_0)

{

    VAR_0->exit_request = 1;

    

    smp_wmb();

    VAR_0->tcg_exit_req = 1;

}

void FUNC_0(CPUState *VAR_0)
{ VAR_0->exit_request = 1; smp_wmb(); VAR_0->tcg_exit_req = 1; }