do_trace_write_msr
do_trace_write_msr(msr, val, 0);
do_trace_write_msr(msr, val, err);
extern void do_trace_write_msr(u32 msr, u64 val, int failed);
EXPORT_SYMBOL(do_trace_write_msr);