Adam Fenn d4b2d3035a 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
2021-08-14 15:57:54 +03:00
..
2021-08-13 11:36:42 +03:00
2021-08-14 15:57:54 +03:00
2021-08-11 16:33:41 -04:00
2021-08-13 11:06:17 +02:00
2021-08-14 15:57:54 +03:00