51 	unsigned long low, high;  in native_read_tscp()  local
53 		     : "=a" (low), "=d" (high), "=c" (*aux));  in native_read_tscp()
54 	return low | ((u64)high << 32);  in native_read_tscp()
64 #define DECLARE_ARGS(val, low, high)	unsigned low, high  argument
65 #define EAX_EDX_VAL(val, low, high)	((low) | ((u64)(high) << 32))  argument
66 #define EAX_EDX_ARGS(val, low, high)	"a" (low), "d" (high)  argument
67 #define EAX_EDX_RET(val, low, high)	"=a" (low), "=d" (high)  argument
69 #define DECLARE_ARGS(val, low, high)	unsigned long long val  argument
70 #define EAX_EDX_VAL(val, low, high)	(val)  argument
71 #define EAX_EDX_ARGS(val, low, high)	"A" (val)  argument
72 #define EAX_EDX_RET(val, low, high)	"=A" (val)  argument
78 	DECLARE_ARGS(val, low, high);  in native_read_msr()
80 	asm volatile("rdmsr" : EAX_EDX_RET(val, low, high) : "c" (msr));  in native_read_msr()
81 	return EAX_EDX_VAL(val, low, high);  in native_read_msr()
85 				    unsigned low, unsigned high)  in native_write_msr()  argument
87 	asm volatile("wrmsr" : : "c" (msr), "a"(low), "d" (high) : "memory");  in native_write_msr()
97 	DECLARE_ARGS(val, low, high);  in native_read_pmc()
99 	asm volatile("rdpmc" : EAX_EDX_RET(val, low, high) : "c" (counter));  in native_read_pmc()
100 	return EAX_EDX_VAL(val, low, high);  in native_read_pmc()
120 static inline void wrmsr(unsigned msr, unsigned low, unsigned high)  in wrmsr()  argument
122 	native_write_msr(msr, low, high);  in wrmsr()
225 #define rdtscl(low)						\  argument
226 	((low) = (u32)__native_read_tsc())
231 #define rdpmc(counter, low, high)			\  argument
234 	(low)  = (u32)_l;				\
238 #define rdtscp(low, high, aux)					\  argument
241 	(low) = (u32)_val;                                      \