|
@@ -192,15 +192,6 @@ do { \
|
|
#define rdtscl(low) \
|
|
#define rdtscl(low) \
|
|
((low) = (u32)native_read_tsc())
|
|
((low) = (u32)native_read_tsc())
|
|
|
|
|
|
-#define rdtscp(low, high, aux) \
|
|
|
|
-do { \
|
|
|
|
- unsigned long long _val = native_read_tscp(&(aux)); \
|
|
|
|
- (low) = (u32)_val; \
|
|
|
|
- (high) = (u32)(_val >> 32); \
|
|
|
|
-} while (0)
|
|
|
|
-
|
|
|
|
-#define rdtscpll(val, aux) (val) = native_read_tscp(&(aux))
|
|
|
|
-
|
|
|
|
/*
|
|
/*
|
|
* 64-bit version of wrmsr_safe():
|
|
* 64-bit version of wrmsr_safe():
|
|
*/
|
|
*/
|