Searched refs:VCLOCK_PVCLOCK (Results 1 – 3 of 3) sorted by relevance
9 #define VCLOCK_PVCLOCK 3 /* vDSO should use vread_pvclock. */ macro
335 kvm_clock.archdata.vclock_mode = VCLOCK_PVCLOCK; in kvm_setup_vsyscall_timeinfo()
208 else if (gtod->vclock_mode == VCLOCK_PVCLOCK) in vgetsns()