Home
last modified time | relevance | path

Searched refs:VCLOCK_PVCLOCK (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
Dclocksource.h9 #define VCLOCK_PVCLOCK 3 /* vDSO should use vread_pvclock. */ macro
/linux-4.1.27/arch/x86/kernel/
Dkvmclock.c301 kvm_clock.archdata.vclock_mode = VCLOCK_PVCLOCK; in kvm_setup_vsyscall_timeinfo()
/linux-4.1.27/arch/x86/vdso/
Dvclock_gettime.c220 else if (gtod->vclock_mode == VCLOCK_PVCLOCK) in vgetsns()