Roger Pau Monné f5417a03e3 don't set CR4 PSE bit on amd64 ... Setting PSE together with PAE or in long mode just makes the PSE bit completely ignored, so don't set it. Sponsored by: Citrix Systems R&D Reviewed by: kib		2014-07-23 15:53:29 +00:00
..
acpica	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
conf	Add vt(4) devices and options to NOTES	2014-07-01 00:22:54 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Emulate instructions emitted by OpenBSD/i386 version 5.5:	2014-07-23 04:28:51 +00:00
linux32	Revert r266925 as it can lead to instant panic at fexecve():	2014-06-17 05:29:18 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
vmm	Emulate instructions emitted by OpenBSD/i386 version 5.5:	2014-07-23 04:28:51 +00:00
Makefile