do_trace_read_msr
static inline void do_trace_read_msr(u32 msr, u64 val, int failed) {}
void do_trace_read_msr(u32 msr, u64 val, int failed)