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

/linux-master/arch/x86/kvm/vmx/
H A Dvmx.c8091 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; local
8096 guest_tscl = kvm_read_l1_tsc(vcpu, tscl);
8097 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl;

Completed in 143 milliseconds