51 	unsigned long low, high;  in native_read_tscp()  local
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
85 				    unsigned low, unsigned high)  in native_write_msr()
120 static inline void wrmsr(unsigned msr, unsigned low, unsigned high)  in wrmsr()
225 #define rdtscl(low)						\  argument
231 #define rdpmc(counter, low, high)			\  argument
238 #define rdtscp(low, high, aux)					\  argument