50 	unsigned long low, high;  in native_read_tscp()  local
63 #define DECLARE_ARGS(val, low, high)	unsigned low, high  argument
64 #define EAX_EDX_VAL(val, low, high)	((low) | ((u64)(high) << 32))  argument
65 #define EAX_EDX_ARGS(val, low, high)	"a" (low), "d" (high)  argument
66 #define EAX_EDX_RET(val, low, high)	"=a" (low), "=d" (high)  argument
68 #define DECLARE_ARGS(val, low, high)	unsigned long long val  argument
69 #define EAX_EDX_VAL(val, low, high)	(val)  argument
70 #define EAX_EDX_ARGS(val, low, high)	"A" (val)  argument
71 #define EAX_EDX_RET(val, low, high)	"=A" (val)  argument
84 				    unsigned low, unsigned high)  in native_write_msr()
119 static inline void wrmsr(unsigned msr, unsigned low, unsigned high)  in wrmsr()
224 #define rdtscl(low)						\  argument
230 #define rdpmc(counter, low, high)			\  argument
237 #define rdtscp(low, high, aux)					\  argument