Symbol: __rdtsc_insn
usr/src/uts/i86pc/sys/clock.h
65
extern hrtime_t __rdtsc_insn(void);
usr/src/uts/i86xpv/os/xpv_panic.c
628
tsc = __rdtsc_insn();
usr/src/uts/i86xpv/os/xpv_timestamp.c
122
tsc = __rdtsc_insn();