[PATCH v5 0/4] x86/xen: pvclock vdso support

[Joao Martins]

Hey,

This is take 5 for vdso for Xen. PVCLOCK_TSC_STABLE_BIT can be set starting Xen
 4.8 which is required for vdso time related calls. In order to have it on, you
need to have the hypervisor clocksource be TSC e.g. with the following boot
params "clocksource=tsc tsc=stable:socket".

Series is structured as following:

Patch 1 streamlines pvti page get/set in pvclock for both of its users
Patch 2,3 registers the pvti page on Xen and sets it in pvclock accordingly
Patch 4 adds a file to KVM/Xen maintainers for tracking pvclock ABI changes.
[ The last one is already Acked. ]

Changelog is in individual patches.

Thanks,
Joao

Joao Martins (4):
  x86/pvclock: add setter for pvclock_pvti_cpu0_va
  x86/xen/time: set pvclock flags on xen_time_init()
  x86/xen/time: setup vcpu 0 time info page
  MAINTAINERS: xen, kvm: track pvclock-abi.h changes

 MAINTAINERS                    |  2 +
 arch/x86/include/asm/pvclock.h | 19 +++++----
 arch/x86/kernel/kvmclock.c     |  7 +--
 arch/x86/kernel/pvclock.c      | 14 ++++++
 arch/x86/xen/suspend.c         |  4 ++
 arch/x86/xen/time.c            | 96 ++++++++++++++++++++++++++++++++++++++++++
 arch/x86/xen/xen-ops.h         |  2 +
 include/xen/interface/vcpu.h   | 42 ++++++++++++++++++
 8 files changed, 171 insertions(+), 15 deletions(-)

-- 
2.11.0