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
..
acpi_machdep.c	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
acpi_wakecode.S	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00