Searched refs:rdtsc32 (Results 1 – 3 of 3) sorted by relevance
804 return (rdtsc32()); in tsc_get_timecount()839 return (rdtsc32()); in tsc_get_timecount_lfence()855 return (rdtsc32()); in tsc_get_timecount_mfence()
407 rdtsc32(void) in rdtsc32() function
368 rdtsc32(void) in rdtsc32() function