unscalehrtime
cpupm_ti_predict_interval = unscalehrtime(cpupm_ti_gov_interval);
cpupm_tw_predict_interval = unscalehrtime(cpupm_tw_gov_interval);
extern uint64_t unscalehrtime(hrtime_t);
ticks = (uint64_t)tsc_read() + unscalehrtime(delta);
vmm_host_freq = unscalehrtime(NANOSEC);
const uint64_t host_ticks = unscalehrtime(hrt_delta);
tickcmpr_set(unscalehrtime(time));