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
77 static inline void do_trace_write_msr(unsigned int msr, u64 val, int failed) {}  in do_trace_write_msr()
78 static inline void do_trace_read_msr(unsigned int msr, u64 val, int failed) {}  in do_trace_read_msr()
79 static inline void do_trace_rdpmc(unsigned int msr, u64 val, int failed) {}  in do_trace_rdpmc()
119 #define native_wrmsrl(msr, val)				\  argument
125 	unsigned long long val;  in native_read_msr()  local
276 #define rdmsrl(msr, val)			\  argument
279 static inline void wrmsrl(unsigned int msr, u64 val)  in wrmsrl()
315 #define rdpmcl(counter, val) ((val) = native_read_pmc(counter))  argument
322 static inline int wrmsrl_safe(u32 msr, u64 val)  in wrmsrl_safe()
329 #define write_rdtscp_aux(val) wrmsr(MSR_TSC_AUX, (val), 0)  argument