Home
last modified time | relevance | path

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

/Linux-v5.4/arch/x86/include/asm/
Dclocksource.h9 #define VCLOCK_PVCLOCK 2 /* vDSO should use vread_pvclock. */ macro
/Linux-v5.4/arch/x86/kernel/
Dpvclock.c148 WARN_ON(vclock_was_used(VCLOCK_PVCLOCK)); in pvclock_set_pvti_cpu0_va()
Dkvmclock.c275 kvm_clock.archdata.vclock_mode = VCLOCK_PVCLOCK; in kvm_setup_vsyscall_timeinfo()
/Linux-v5.4/arch/x86/include/asm/vdso/
Dgettimeofday.h249 if (clock_mode == VCLOCK_PVCLOCK) { in __arch_get_hw_counter()
/Linux-v5.4/arch/x86/entry/vdso/
Dvma.c115 if (pvti && vclock_was_used(VCLOCK_PVCLOCK)) { in vvar_fault()
/Linux-v5.4/arch/x86/xen/
Dtime.c470 xen_clocksource.archdata.vclock_mode = VCLOCK_PVCLOCK; in xen_setup_vsyscall_time_info()