timer_get_cntfrq
(timer_get_cntfrq() * (u64)(msec) / 1000)
(timer_get_cntfrq() * (u64)(usec) / 1000000)
((u64)(cycles) * 1000000 / timer_get_cntfrq())