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

From: Joao Martins
Date: Mon Dec 28 2015 - 16:53:16 EST


Hey!

This series proposes support for pvclock vdso under Xen: Patch 1 adds
setting cpu 0 pvti page; Patch 2 registers the pvti page with Xen and sets
it accordingly in pvclock and Patch 3 adds a Kconfig option since Xen
doesn't yet support the PVCLOCK_TSC_STABLE_BIT flag. Though its support
will probably be discussed in another RFC I sent[0].

Any comments or suggestions are welcome!

Thanks,
Joao

[0] http://lists.xenproject.org/archives/html/xen-devel/2015-12/msg02835.html

Joao Martins (3):
x86/pvclock: add setter for pvclock_pvti_cpu0_va
x86/xen/time: setup vcpu 0 time info page
xen/Kconfig: add XEN_TIME_VSYSCALL option

arch/x86/include/asm/pvclock.h | 22 ++++++++------
arch/x86/kernel/kvmclock.c | 6 +---
arch/x86/kernel/pvclock.c | 11 +++++++
arch/x86/xen/Kconfig | 5 ++++
arch/x86/xen/time.c | 66 ++++++++++++++++++++++++++++++++++++++++++
include/xen/interface/vcpu.h | 28 ++++++++++++++++++
6 files changed, 124 insertions(+), 14 deletions(-)

--
2.1.4

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/