Home
last modified time | relevance | path

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

/linux-4.1.27/arch/x86/include/asm/
Dclocksource.h7 #define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */ macro
/linux-4.1.27/arch/x86/vdso/
Dvclock_gettime.c213 if (gtod->vclock_mode == VCLOCK_TSC) in vgetsns()
/linux-4.1.27/arch/x86/kernel/
Dtsc.c984 .archdata = { .vclock_mode = VCLOCK_TSC },
/linux-4.1.27/arch/x86/kvm/
Dtrace.h794 {VCLOCK_TSC, "tsc"}, \
Dx86.c1278 (gtod->clock.vclock_mode == VCLOCK_TSC && vcpus_matched)) in kvm_track_tsc_matching()
1487 if (pvclock_gtod_data.clock.vclock_mode != VCLOCK_TSC) in kvm_get_time_and_clockread()
1490 return do_monotonic_boot(kernel_ns, cycle_now) == VCLOCK_TSC; in kvm_get_time_and_clockread()
5777 if (gtod->clock.vclock_mode != VCLOCK_TSC && in pvclock_gtod_notify()