trace_clock_update
trace_clock_update(u32 mult, u32 shift, u64 epoch_ns, u64 epoch_cyc) { }
void trace_clock_update(u32 mult, u32 shift, u64 epoch_ns, u64 epoch_cyc)