K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2021-10-17T18:50:44.589106Z
K 7
svn:log
V 548
pvclock: Add vDSO support

Add vDSO support for timekeeping devices that support the KVM/XEN
paravirtual clock API.

Also, expose, in the userspace-accessible '<machine/pvclock.h>',
definitions that will be needed by 'libc' to support
'VDSO_TH_ALGO_X86_PVCLK'.

Sponsored by:	Juniper Networks, Inc.
Sponsored by:	Klara, Inc.
Reviewed by:	kib
Differential Revision:	https://reviews.freebsd.org/D31418

(cherry picked from commit d4b2d3035a23d5dc468d41151487a8299bf45cdc)

Git Hash:   4b34c91973ddaf594bbb192f84e421598a1b39be
Git Author: adam@fenn.io
END