Searched refs:cpuid_tsc (Results 1 – 1 of 1) sorted by relevance
353 uint32_t cpuid_ti, cpuid_tsc, version; in __vdso_pvclock_gettc() local366 tsc = rdtscp_aux(&cpuid_tsc); in __vdso_pvclock_gettc()373 (!stable && cpuid_ti != cpuid_tsc)); in __vdso_pvclock_gettc()