diff options
Diffstat (limited to 'lib/Headers/ia32intrin.h')
| -rw-r--r-- | lib/Headers/ia32intrin.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/Headers/ia32intrin.h b/lib/Headers/ia32intrin.h index 397f3fd13e01..4928300103ad 100644 --- a/lib/Headers/ia32intrin.h +++ b/lib/Headers/ia32intrin.h @@ -60,12 +60,6 @@ __rdpmc(int __A) { return __builtin_ia32_rdpmc(__A); } -/* __rdtsc */ -static __inline__ unsigned long long __attribute__((__always_inline__, __nodebug__)) -__rdtsc(void) { - return __builtin_ia32_rdtsc(); -} - /* __rdtscp */ static __inline__ unsigned long long __attribute__((__always_inline__, __nodebug__)) __rdtscp(unsigned int *__A) { |