44 	unsigned long low, high;  in native_read_tscp()  local
57 #define DECLARE_ARGS(val, low, high)	unsigned low, high  argument
58 #define EAX_EDX_VAL(val, low, high)	((low) | ((u64)(high) << 32))  argument
59 #define EAX_EDX_ARGS(val, low, high)	"a" (low), "d" (high)  argument
60 #define EAX_EDX_RET(val, low, high)	"=a" (low), "=d" (high)  argument
62 #define DECLARE_ARGS(val, low, high)	unsigned long long val  argument
63 #define EAX_EDX_VAL(val, low, high)	(val)  argument
64 #define EAX_EDX_ARGS(val, low, high)	"A" (val)  argument
65 #define EAX_EDX_RET(val, low, high)	"=A" (val)  argument
93 				    unsigned low, unsigned high)  in native_write_msr()
100 					unsigned low, unsigned high)  in native_write_msr_safe()
155 static inline void wrmsr(unsigned msr, unsigned low, unsigned high)  in wrmsr()
167 static inline int wrmsr_safe(unsigned msr, unsigned low, unsigned high)  in wrmsr_safe()
227 #define rdtscl(low)						\  argument
233 #define rdpmc(counter, low, high)			\  argument
240 #define rdtscp(low, high, aux)					\  argument