37 	unsigned long low, high;  in native_read_tscp()  local
39 		     : "=a" (low), "=d" (high), "=c" (*aux));  in native_read_tscp()
40 	return low | ((u64)high << 32);  in native_read_tscp()
51 #define DECLARE_ARGS(val, low, high)	unsigned long low, high  argument
52 #define EAX_EDX_VAL(val, low, high)	((low) | (high) << 32)  argument
53 #define EAX_EDX_RET(val, low, high)	"=a" (low), "=d" (high)  argument
55 #define DECLARE_ARGS(val, low, high)	unsigned long long val  argument
56 #define EAX_EDX_VAL(val, low, high)	(val)  argument
57 #define EAX_EDX_RET(val, low, high)	"=A" (val)  argument
62 	DECLARE_ARGS(val, low, high);  in native_read_msr()
64 	asm volatile("rdmsr" : EAX_EDX_RET(val, low, high) : "c" (msr));  in native_read_msr()
65 	return EAX_EDX_VAL(val, low, high);  in native_read_msr()
71 	DECLARE_ARGS(val, low, high);  in native_read_msr_safe()
79 		     : [err] "=r" (*err), EAX_EDX_RET(val, low, high)  in native_read_msr_safe()
81 	return EAX_EDX_VAL(val, low, high);  in native_read_msr_safe()
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()
92 					unsigned low, unsigned high)  in native_write_msr_safe()  argument
102 		     : "c" (msr), "0" (low), "d" (high),  in native_write_msr_safe()
122 	DECLARE_ARGS(val, low, high);  in rdtsc()
124 	asm volatile("rdtsc" : EAX_EDX_RET(val, low, high));  in rdtsc()
126 	return EAX_EDX_VAL(val, low, high);  in rdtsc()
160 	DECLARE_ARGS(val, low, high);  in native_read_pmc()
162 	asm volatile("rdpmc" : EAX_EDX_RET(val, low, high) : "c" (counter));  in native_read_pmc()
163 	return EAX_EDX_VAL(val, low, high);  in native_read_pmc()
176 #define rdmsr(msr, low, high)					\  argument
179 	(void)((low) = (u32)__val);				\
183 static inline void wrmsr(unsigned msr, unsigned low, unsigned high)  in wrmsr()  argument
185 	native_write_msr(msr, low, high);  in wrmsr()
197 static inline int wrmsr_safe(unsigned msr, unsigned low, unsigned high)  in wrmsr_safe()  argument
199 	return native_write_msr_safe(msr, low, high);  in wrmsr_safe()
203 #define rdmsr_safe(msr, low, high)				\  argument
207 	(*low) = (u32)__val;					\
220 #define rdpmc(counter, low, high)			\  argument
223 	(low)  = (u32)_l;				\
239 #define write_tsc(low, high) wrmsr(MSR_IA32_TSC, (low), (high))  argument