Searched refs:guest_itc (Results 1 - 1 of 1) sorted by relevance

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/ia64/kvm/
H A Dvcpu.c812 unsigned long guest_itc; local
813 guest_itc = VMX(vcpu, itc_offset) + kvm_get_itc(vcpu);
815 if (guest_itc >= VMX(vcpu, last_itc)) {
816 VMX(vcpu, last_itc) = guest_itc;
817 return guest_itc;

Completed in 33 milliseconds