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
acpi_wakecode.S