| ;------------------------------------------------------------------------------ | |
| ; @file | |
| ; Emits Page Tables for 1:1 mapping of the addresses 0 - 0x8000000000 (512GB) | |
| ; | |
| ; Copyright (c) 2021, Intel Corporation. All rights reserved.<BR> | |
| ; SPDX-License-Identifier: BSD-2-Clause-Patent | |
| ; Linear-Address Translation to a 1-GByte Page | |
| ; | |
| ;------------------------------------------------------------------------------ | |
| BITS 64 | |
| %define ALIGN_TOP_TO_4K_FOR_PAGING | |
| %define PAGE_PDP_ATTR (PAGE_ACCESSED + \ | |
| PAGE_READ_WRITE + \ | |
| PAGE_PRESENT) | |
| %define PAGE_PDP_1G_ATTR (PAGE_ACCESSED + \ | |
| PAGE_READ_WRITE + \ | |
| PAGE_DIRTY + \ | |
| PAGE_PRESENT + \ | |
| PAGE_SIZE) | |
| %define PGTBLS_OFFSET(x) ((x) - TopLevelPageDirectory) | |
| %define PGTBLS_ADDR(x) (ADDR_OF(TopLevelPageDirectory) + (x)) | |
| %define PDP(offset) (ADDR_OF(TopLevelPageDirectory) + (offset) + \ | |
| PAGE_PDP_ATTR) | |
| %define PDP_1G(x) ((x << 30) + PAGE_PDP_1G_ATTR) | |
| ALIGN 16 | |
| TopLevelPageDirectory: | |
| ; | |
| ; Top level Page Directory Pointers (1 * 512GB entry) | |
| ; | |
| DQ PDP(0x1000) | |
| TIMES 0x1000-PGTBLS_OFFSET($) DB 0 | |
| ; | |
| ; Next level Page Directory Pointers (512 * 1GB entries => 512GB) | |
| ; | |
| %assign i 0 | |
| %rep 512 | |
| DQ PDP_1G(i) | |
| %assign i i+1 | |
| %endrep | |
| TIMES 0x2000-PGTBLS_OFFSET($) DB 0 | |
| EndOfPageTables: |