Searched refs:cpu_get_tsc (Results 1 – 3 of 3) sorted by relevance
843 uint64_t cpu_get_tsc(CPUX86State *env);
3001 val = cpu_get_tsc(env) + env->tsc_offset; in helper_rdtsc()
113 uint64_t cpu_get_tsc(CPUX86State *env) in cpu_get_tsc() function