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
..
acpica	Disable x2APIC for SandyBridge laptops with Samsung BIOS	2021-06-03 22:47:31 +03:00
bios	smbios: Move smbios driver out from x86 machdep code	2021-02-23 21:17:09 +00:00
conf	Use envvar rather than nonstandard hint. lines	2020-09-23 19:18:53 +00:00
cpufreq	hwpstate_intel: don't unconditionally print the error message	2020-11-29 01:43:04 +00:00
include	pvclock: Add vDSO support	2021-08-14 15:57:54 +03:00
iommu	Remove "All Rights Reserved" from FreeBSD Foundation sys/ copyrights	2021-08-08 10:42:24 -04:00
isa	amd64: Add MD bits for KMSAN	2021-08-10 21:27:53 -04:00
linux	Drop "All rights reserved" from my copyright statements.	2021-07-20 10:05:50 +03:00
pci	x86: clean up empty lines in .c and .h files	2020-09-01 21:23:59 +00:00
x86	pvclock: Add vDSO support	2021-08-14 15:57:54 +03:00
xen	xen: introduce xen_has_percpu_evtchn()	2021-07-28 17:27:05 +02:00