Searched refs:ts_rdtsc32 (Results 1 – 2 of 2) sorted by relevance
100 u_int (*ts_rdtsc32)(void);106 .ts_rdtsc32 = rdtsc32_mb_lfence,110 .ts_rdtsc32 = rdtsc32_mb_mfence,114 .ts_rdtsc32 = rdtsc32_mb_none,118 .ts_rdtsc32 = rdtscp32_,134 return (tsc_selector[kern_tsc_selector].ts_rdtsc32());
147 u_int (*ts_rdtsc32)(void); member154 .ts_rdtsc32 = rdtsc32_mb_lfence,159 .ts_rdtsc32 = rdtsc32_mb_mfence,164 .ts_rdtsc32 = rdtsc32_mb_none,169 .ts_rdtsc32 = rdtscp32_,221 return (tsc_selector[tsc_selector_idx(cpu_feature)].ts_rdtsc32);