Searched refs:VCLOCK_HVCLOCK (Results 1 – 5 of 5) sorted by relevance
10 #define VCLOCK_HVCLOCK 3 /* vDSO should use vread_hvclock. */ macro
49 ((val).archdata.vclock_mode = VCLOCK_HVCLOCK)
255 if (clock_mode == VCLOCK_HVCLOCK) { in __arch_get_hw_counter()
123 if (tsc_pg && vclock_was_used(VCLOCK_HVCLOCK)) in vvar_fault()
1777 return mode == VCLOCK_TSC || mode == VCLOCK_HVCLOCK; in gtod_is_based_on_tsc()1870 if (pvclock_gtod_data.clock.vclock_mode == VCLOCK_HVCLOCK) in kvm_check_tsc_unstable()2025 case VCLOCK_HVCLOCK: in vgettsc()2030 *mode = VCLOCK_HVCLOCK; in vgettsc()