25 #error "Never use <ia32intrin.h> directly; include <x86intrin.h> instead." 28 #ifndef __IA32INTRIN_H 29 #define __IA32INTRIN_H 32 static __inline__
unsigned long long __attribute__((__always_inline__, __nodebug__))
35 return __builtin_ia32_readeflags_u64();
38 static __inline__
void __attribute__((__always_inline__, __nodebug__))
39 __writeeflags(
unsigned long long __f)
41 __builtin_ia32_writeeflags_u64(__f);
45 static __inline__
unsigned int __attribute__((__always_inline__, __nodebug__))
48 return __builtin_ia32_readeflags_u32();
51 static __inline__
void __attribute__((__always_inline__, __nodebug__))
52 __writeeflags(
unsigned int __f)
54 __builtin_ia32_writeeflags_u32(__f);
58 static __inline__
unsigned long long __attribute__((__always_inline__, __nodebug__))
60 return __builtin_ia32_rdpmc(__A);
64 static __inline__
unsigned long long __attribute__((__always_inline__, __nodebug__))
65 __rdtscp(
unsigned int *__A) {
66 return __builtin_ia32_rdtscp(__A);
69 #define _rdtsc() __rdtsc() 71 #define _rdpmc(A) __rdpmc(A) static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__)) __readeflags(void)