Searched refs:ts_rdtsc32 (Results 1 – 1 of 1) sorted by relevance
124 u_int (*ts_rdtsc32)(void); member130 .ts_rdtsc32 = rdtsc32_mb_lfence,134 .ts_rdtsc32 = rdtsc32_mb_mfence,138 .ts_rdtsc32 = rdtsc32_mb_none,142 .ts_rdtsc32 = rdtscp32_,196 return (tsc_selector[tsc_selector_idx(cpu_feature)].ts_rdtsc32);