uint64_t cpu_get_tsc(CPUX86State *env)

{

    





#ifdef CONFIG_KQEMU

    if (env->kqemu_enabled) {

        return cpu_get_real_ticks();

    } else

#endif

    {

        return cpu_get_ticks();

    }

}
