static int get_current_cpu(void)

{

  return cpu_single_env->cpu_index;

}

static int get_current_cpu(void)

{

  return cpu_single_env->cpu_index;

}

  return cpu_single_env->cpu_index;
static int FUNC_0(void)

{

  return cpu_single_env->cpu_index;

}

static int FUNC_0(void)
{ return cpu_single_env->cpu_index; }