Searched refs:cpuid_ti (Results 1 – 1 of 1) sorted by relevance
353 uint32_t cpuid_ti, cpuid_tsc, version; in __vdso_pvclock_gettc() local363 (void)rdtscp_aux(&cpuid_ti); in __vdso_pvclock_gettc()364 ti = &pvclock_timeinfos[cpuid_ti]; in __vdso_pvclock_gettc()373 (!stable && cpuid_ti != cpuid_tsc)); in __vdso_pvclock_gettc()