Home
last modified time | relevance | path

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

/Linux-v4.19/arch/x86/include/asm/
Dclocksource.h9 #define VCLOCK_PVCLOCK 2 /* vDSO should use vread_pvclock. */ macro
/Linux-v4.19/arch/x86/kernel/
Dpvclock.c159 WARN_ON(vclock_was_used(VCLOCK_PVCLOCK)); in pvclock_set_pvti_cpu0_va()
Dkvmclock.c292 kvm_clock.archdata.vclock_mode = VCLOCK_PVCLOCK; in kvm_setup_vsyscall_timeinfo()
/Linux-v4.19/arch/x86/entry/vdso/
Dvclock_gettime.c195 else if (gtod->vclock_mode == VCLOCK_PVCLOCK) in vgetsns()
Dvma.c116 if (pvti && vclock_was_used(VCLOCK_PVCLOCK)) { in vvar_fault()
/Linux-v4.19/arch/x86/xen/
Dtime.c464 xen_clocksource.archdata.vclock_mode = VCLOCK_PVCLOCK; in xen_setup_vsyscall_time_info()