Searched refs:lapic_timer_advance_cycles (Results 1 – 1 of 1) sorted by relevance
8031 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local8038 lapic_timer_advance_cycles = nsec_to_cycles(vcpu, in vmx_set_hv_timer()8041 if (delta_tsc > lapic_timer_advance_cycles) in vmx_set_hv_timer()8042 delta_tsc -= lapic_timer_advance_cycles; in vmx_set_hv_timer()
