Searched refs:local_tsc (Results 1 – 2 of 2) sorted by relevance
31 uint64_t start_tsc, local_tsc, tmp; in guest_code() local36 local_tsc = rdtsc(); in guest_code()37 WRITE_ONCE(tsc_sync, local_tsc); in guest_code()38 if (unlikely(local_tsc < tmp)) in guest_code()39 GUEST_SYNC_ARGS(0, local_tsc, tmp, 0, 0); in guest_code()41 } while (local_tsc - start_tsc < 5000 * TEST_TSC_KHZ); in guest_code()
12160 u64 local_tsc; in kvm_arch_hardware_enable() local12169 local_tsc = rdtsc(); in kvm_arch_hardware_enable()12175 if (stable && vcpu->arch.last_host_tsc > local_tsc) { in kvm_arch_hardware_enable()12222 u64 delta_cyc = max_tsc - local_tsc; in kvm_arch_hardware_enable()12227 vcpu->arch.last_host_tsc = local_tsc; in kvm_arch_hardware_enable()