Searched refs:local_tsc (Results 1 – 2 of 2) sorted by relevance
27 uint64_t start_tsc, local_tsc, tmp; in guest_code() local32 local_tsc = rdtsc(); in guest_code()33 WRITE_ONCE(tsc_sync, local_tsc); in guest_code()34 if (unlikely(local_tsc < tmp)) in guest_code()35 GUEST_SYNC_ARGS(0, local_tsc, tmp, 0, 0); in guest_code()37 } while (local_tsc - start_tsc < 5000 * TEST_TSC_KHZ); in guest_code()
12199 u64 local_tsc; in kvm_arch_hardware_enable() local12213 local_tsc = rdtsc(); in kvm_arch_hardware_enable()12219 if (stable && vcpu->arch.last_host_tsc > local_tsc) { in kvm_arch_hardware_enable()12266 u64 delta_cyc = max_tsc - local_tsc; in kvm_arch_hardware_enable()12271 vcpu->arch.last_host_tsc = local_tsc; in kvm_arch_hardware_enable()