trace_clock_update
void trace_clock_update(u32 mult, u32 shift, u64 epoch_ns, u64 epoch_cyc);
trace_clock_update(mult, shift, epoch_ns, epoch_cyc);