2) IA-32 Intel(R) Architecture Software Developer's Manual Volume 2:Instruction Set Reference, Intel\r
3) IA-32 Intel(R) Architecture Software Developer's Manual Volume 3:System Programmer's Guide, Intel\r
\r
-Copyright (c) 2006 - 2015, Intel Corporation. All rights reserved.<BR>\r
+Copyright (c) 2006 - 2016, 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
PAGE_TABLE_4K_ENTRY *PageTableEntry;\r
\r
PageTableEntry = AllocatePages (1);\r
+ ASSERT (PageTableEntry != NULL);\r
//\r
// Fill in 2M page entry.\r
//\r
PAGE_TABLE_ENTRY *PageDirectoryEntry;\r
\r
PageDirectoryEntry = AllocatePages (1);\r
+ ASSERT (PageDirectoryEntry != NULL);\r
//\r
// Fill in 1G page entry.\r
//\r