do_trace_read_msr
do_trace_read_msr(msr, val, 0);
do_trace_read_msr(msr, EAX_EDX_VAL(val, low, high), err);
extern void do_trace_read_msr(u32 msr, u64 val, int failed);
EXPORT_SYMBOL(do_trace_read_msr);