Searched refs:__rdtsc_insn (Results 1 – 6 of 6) sorted by relevance
54 __rdtsc_insn(void) in __rdtsc_insn() function
67 extern hrtime_t __rdtsc_insn(void);
122 tsc = __rdtsc_insn(); in dtrace_xpv_getsystime()
632 tsc = __rdtsc_insn(); in xpv_panic_gethrtime()
84 .inline __rdtsc_insn, 0
99 .inline __rdtsc_insn, 0