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
..
hyperv_machdep.c	pvclock: Add vDSO support	2021-08-14 15:57:54 +03:00
vmbus_vector.S	x86: remove gcov kernel support	2021-04-02 15:41:51 +03:00