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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
