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