54 #define DECLARE_ARGS(val, low, high)	unsigned long low, high  argument
55 #define EAX_EDX_VAL(val, low, high)	((low) | (high) << 32)  argument
56 #define EAX_EDX_RET(val, low, high)	"=a" (low), "=d" (high)  argument
58 #define DECLARE_ARGS(val, low, high)	unsigned long long val  argument
59 #define EAX_EDX_VAL(val, low, high)	(val)  argument
60 #define EAX_EDX_RET(val, low, high)	"=A" (val)  argument
103 static inline void notrace __wrmsr(unsigned int msr, u32 low, u32 high)  in __wrmsr()
118 #define native_wrmsr(msr, low, high)			\  argument
160 native_write_msr(unsigned int msr, u32 low, u32 high)  in native_write_msr()
170 native_write_msr_safe(unsigned int msr, u32 low, u32 high)  in native_write_msr_safe()
266 #define rdmsr(msr, low, high)					\  argument
273 static inline void wrmsr(unsigned int msr, u32 low, u32 high)  in wrmsr()
287 static inline int wrmsr_safe(unsigned int msr, u32 low, u32 high)  in wrmsr_safe()
293 #define rdmsr_safe(msr, low, high)				\  argument
310 #define rdpmc(counter, low, high)			\  argument
329 #define write_tsc(low, high) wrmsr(MSR_IA32_TSC, (low), (high))  argument