Messages in this thread | | | From | Joao Martins <> | Subject | [PATCH RFC 0/3] x86/xen: pvclock vdso support | Date | Mon, 28 Dec 2015 21:52:34 +0000 |
| |
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
| |