vm_denormalize_hrtime
vm_denormalize_hrtime(vatpit->vm, chan->vac_time_target);
const hrtime_t base_time = vm_denormalize_hrtime(vm, src->vh_time_base);
vm_denormalize_hrtime(vm, timer->vht_time_target);
vhpet->base_time = vm_denormalize_hrtime(vhpet->vm, src->vh_time_base);
timer->callout_expire = vm_denormalize_hrtime(vhpet->vm,
vm_denormalize_hrtime(vlapic->vm, src->vl_timer_target);
vm_denormalize_hrtime(vpmtmr->vm, src->vpt_time_base);
vm_denormalize_hrtime(vrtc->vm, src->vr_base_clock);
vm_denormalize_hrtime(vrtc->vm, src->vr_last_period);
hrtime_t vm_denormalize_hrtime(struct vm *, hrtime_t);