static inline int cpu_gdb_index(CPUState *cpu)

{

#if defined(CONFIG_USER_ONLY)

    return cpu->host_tid;

#else

    return cpu->cpu_index + 1;

#endif

}

static inline int cpu_gdb_index(CPUState *cpu)

{

#if defined(CONFIG_USER_ONLY)

    return cpu->host_tid;

#else

    return cpu->cpu_index + 1;

#endif

}

    return cpu->host_tid;
static inline int FUNC_0(CPUState *VAR_0)

{

#if defined(CONFIG_USER_ONLY)

    return VAR_0->host_tid;

#else

    return VAR_0->cpu_index + 1;

#endif

}

static inline int FUNC_0(CPUState *VAR_0)
{ #if defined(CONFIG_USER_ONLY)
return VAR_0->host_tid; #else
return VAR_0->cpu_index + 1; #endif
}