[PATCH v1 0/3] x86/xen: pvclock vdso support

[Joao Martins]

Hey,

This small series presents support for vDSO for Xen domains.
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 registers the pvti page on Xen and
sets it in pvclock accordingly and Patch 3 (new in this version) adds an
entry to maintainers for tracking pvclock ABI changes. Changelog since RFC is
included in individual patches.

Any comments/suggestions are welcome.

Thanks,
Joao

Joao Martins (3):
  x86/pvclock: add setter for pvclock_pvti_cpu0_va
  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 | 22 ++++++++++--------
 arch/x86/kernel/kvmclock.c     |  6 +----
 arch/x86/kernel/pvclock.c      | 13 +++++++++++
 arch/x86/xen/enlighten.c       |  2 ++
 arch/x86/xen/time.c            | 51 ++++++++++++++++++++++++++++++++++++++++++
 arch/x86/xen/xen-ops.h         |  1 +
 include/xen/interface/vcpu.h   | 28 +++++++++++++++++++++++
 8 files changed, 111 insertions(+), 14 deletions(-)

-- 
2.1.4