Home
last modified time | relevance | path

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

/Linux-v5.4/arch/x86/include/asm/
Dclocksource.h8 #define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */ macro
/Linux-v5.4/arch/x86/include/asm/vdso/
Dgettimeofday.h240 if (clock_mode == VCLOCK_TSC) in __arch_get_hw_counter()
/Linux-v5.4/arch/x86/kernel/
Dtsc.c1121 .archdata = { .vclock_mode = VCLOCK_TSC },
1141 .archdata = { .vclock_mode = VCLOCK_TSC },
/Linux-v5.4/arch/x86/kvm/
Dtrace.h819 {VCLOCK_TSC, "tsc"} \
Dx86.c1777 return mode == VCLOCK_TSC || mode == VCLOCK_HVCLOCK; in gtod_is_based_on_tsc()
2038 case VCLOCK_TSC: in vgettsc()
2039 *mode = VCLOCK_TSC; in vgettsc()