#------------------------------------------------------------------------------\r
#\r
-# Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>\r
+# Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>\r
# This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution. The full text of the license may be found at\r
andl $0x7ffffffe, %eax # clear PE, PG bits\r
movl %cr4, %ebp\r
mov %ebp, 0xfffffff1(%edx)\r
- andl $0x300, %ebp # clear all but PCE and OSFXSR bits\r
+ andl $0xffffffcf, %ebp # clear PAE, PSE bits\r
pushl $0x10\r
pop %ecx # ecx <- selector for data segments\r
lgdtl 0x20(%edx)\r
\r
;------------------------------------------------------------------------------\r
;\r
-; Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>\r
+; Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>\r
; This program and the accompanying materials\r
; are licensed and made available under the terms and conditions of the BSD License\r
; which accompanies this distribution. The full text of the license may be found at\r
and eax, 7ffffffeh ; clear PE, PG bits\r
mov ebp, cr4\r
mov [edx + (SavedCr4 - SavedCr0)], ebp\r
- and ebp, 300h ; clear all but PCE and OSFXSR bits\r
+ and ebp, NOT 30h ; clear PAE, PSE bits\r
push 10h\r
pop ecx ; ecx <- selector for data segments\r
lgdt fword ptr [edx + (_16Gdtr - SavedCr0)]\r
#------------------------------------------------------------------------------\r
#\r
-# Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>\r
+# Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>\r
# This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution. The full text of the license may be found at\r
andl $0x7ffffffe,%eax # clear PE, PG bits\r
movq %cr4, %rbp\r
movl %ebp, (%rcx) # save CR4 in SavedCr4\r
- andl $0x300,%ebp # clear all but PCE and OSFXSR bits\r
+ andl $0xffffffcf,%ebp # clear PAE, PSE bits\r
movl %r8d, %esi # esi <- 16-bit stack segment\r
.byte 0x6a, DATA32\r
popq %rdx\r
\r
;------------------------------------------------------------------------------\r
;\r
-; Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>\r
+; Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>\r
; This program and the accompanying materials\r
; are licensed and made available under the terms and conditions of the BSD License\r
; which accompanies this distribution. The full text of the license may be found at\r
and eax, 7ffffffeh ; clear PE, PG bits\r
mov rbp, cr4\r
mov [rcx], ebp ; save CR4 in SavedCr4\r
- and ebp, 300h ; clear all but PCE and OSFXSR bits\r
+ and ebp, NOT 30h ; clear PAE, PSE bits\r
mov esi, r8d ; esi <- 16-bit stack segment\r
DB 6ah, DATA32 ; push DATA32\r
pop rdx ; rdx <- 32-bit data segment selector\r