[please CC me on replies, I'm not subscribed]
setup_vsyscall_timeinfo() is only defined for x86_64, thus
pvclock_set_pvti_cpu0_va() gets not called and as the result
initialization of ptp_kvm fails.
Thus userspace has no /dev/ptp0 device. The attached patch at least
works for me.
--
Andreas Steinmetz SPAMmers use robotrap@xxxxxxxx
--- ./arch/x86/kernel/kvmclock.c.orig 2018-06-18 20:54:10.260824085 +0200
+++ ./arch/x86/kernel/kvmclock.c 2018-06-18 20:55:01.945868656 +0200
@@ -350,7 +350,7 @@
int __init kvm_setup_vsyscall_timeinfo(void)
{
-#ifdef CONFIG_X86_64
+#if defined(CONFIG_X86_64) || defined(CONFIG_X86_32)
int cpu;
u8 flags;
struct pvclock_vcpu_time_info *vcpu_time;
