Home
last modified time | relevance | path

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

/linux-6.6.21/arch/x86/kvm/vmx/
Dvmx.c8043 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()