Searched refs:tscl (Results 1 – 2 of 2) sorted by relevance
7221 u64 tscl; in vmx_update_hv_timer() local7228 tscl = rdtsc(); in vmx_update_hv_timer()7229 if (vmx->hv_deadline_tsc > tscl) in vmx_update_hv_timer()7231 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >> in vmx_update_hv_timer()8129 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local8133 tscl = rdtsc(); in vmx_set_hv_timer()8134 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer()8160 vmx->hv_deadline_tsc = tscl + delta_tsc; in vmx_set_hv_timer()
644 u32 tscl; /* 0x.6fc - Transmit Single Collision Packet Counter */ member