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 vdsotime related calls. In order to have it on, you need to have the hypervisorclocksource be TSC e.g. with the following boot params "clocksource=tsctsc=stable:socket".

Series is structured as following: Patch 1 streamlines pvti page get/set inpvclock for both of its users Patch 2 registers the pvti page on Xen andsets it in pvclock accordingly and Patch 3 (new in this version) adds anentry to maintainers for tracking pvclock ABI changes. Changelog since RFC isincluded in individual patches.