[PATCH 5.4 11/56] x86/kvmclock: Move this_cpu_pvti into kvmclock.h