Peter Grehan 8d1d7a9e5a Allow the guest to read the TSC via MSR 0x10. ... NetBSD/amd64 does this, as does Linux on AMD CPUs. Reviewed by: neel MFC after: 3 weeks		2014-04-24 00:27:34 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	Clear the kernel grab of the FPU state on fork. The pcb_save pointer	2014-03-29 11:56:33 +00:00
conf	Really, really, really only allow this option for amd64/i386 builds.	2014-04-09 18:44:54 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Update EFI framebuffer handoff from loader	2014-03-27 19:43:38 +00:00
linux32	Update kernel inclusions of capability.h to use capsicum.h instead; some	2014-03-16 10:55:57 +00:00
pci	Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this	2013-11-30 22:17:27 +00:00
vmm	Allow the guest to read the TSC via MSR 0x10.	2014-04-24 00:27:34 +00:00
Makefile