MNSEC_PER_SEC
return div_u64(delta * vcpu->arch.timer_mhz, MNSEC_PER_SEC);
return div_u64(tick * MNSEC_PER_SEC, vcpu->arch.timer_mhz);