Searched refs:guest_tscl (Results 1 - 2 of 2) sorted by relevance
/kernel/linux/linux-5.10/arch/x86/kvm/vmx/ |
H A D | vmx.c | 7609 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local 7614 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer() 7615 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
|
/kernel/linux/linux-6.6/arch/x86/kvm/vmx/ |
H A D | vmx.c | 8043 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local 8048 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer() 8049 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
|
Completed in 21 milliseconds