From: Mike Pagano <mpagano@xxxxxxxxxx> setup_vsyscall_timeinfo() is only defined for x86_64, thus clock_set_pvti_cpu0_va() does not get called resulting in the failure of ptp_kvm initialization for Linux X86_32 guests. The result of this being that the 32 bit guest userspace has no /dev/ptp0 device. See Gentoo bug 658544 located at the following link: https://bugs.gentoo.org/658544 Signed-off-by: Mike Pagano <mpagano@xxxxxxxxxx> Signed-off-by: Andreas Steinmetz <ast@xxxxxxxx> --- arch/x86/kernel/kvmclock.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/x86/kernel/kvmclock.c b/arch/x86/kernel/kvmclock.c index bf8d1eb7fca3..6aee5c6265b3 100644 --- a/arch/x86/kernel/kvmclock.c +++ b/arch/x86/kernel/kvmclock.c @@ -350,7 +350,7 @@ void __init kvmclock_init(void) int __init kvm_setup_vsyscall_timeinfo(void) { -#ifdef CONFIG_X86_64 +#ifdef CONFIG_X86_64 || defined(CONFIG_X86_32) int cpu; u8 flags; struct pvclock_vcpu_time_info *vcpu_time; -- 2.16.4