2 x64 Long Mode Virtual Memory Management Definitions
5 1) IA-32 Intel(R) Architecture Software Developer's Manual Volume 1:Basic Architecture, Intel
6 2) IA-32 Intel(R) Architecture Software Developer's Manual Volume 2:Instruction Set Reference, Intel
7 3) IA-32 Intel(R) Architecture Software Developer's Manual Volume 3:System Programmer's Guide, Intel
8 4) AMD64 Architecture Programmer's Manual Volume 2: System Programming
10 Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>
11 This program and the accompanying materials
12 are licensed and made available under the terms and conditions of the BSD License
13 which accompanies this distribution. The full text of the license may be found at
14 http://opensource.org/licenses/bsd-license.php
16 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
17 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
20 #ifndef _VIRTUAL_MEMORY_H_
21 #define _VIRTUAL_MEMORY_H_
24 #define SYS_CODE64_SEL 0x38
40 UINT32 DefaultSize
: 1;
41 UINT32 Granularity
: 1;
48 IA32_IDT_GATE_DESCRIPTOR Ia32IdtEntry
;
51 } X64_IDT_GATE_DESCRIPTOR
;
54 // Page-Map Level-4 Offset (PML4) and
55 // Page-Directory-Pointer Offset (PDPE) entries 4K & 2MB
60 UINT64 Present
:1; // 0 = Not present in memory, 1 = Present in memory
61 UINT64 ReadWrite
:1; // 0 = Read-Only, 1= Read/Write
62 UINT64 UserSupervisor
:1; // 0 = Supervisor, 1=User
63 UINT64 WriteThrough
:1; // 0 = Write-Back caching, 1=Write-Through caching
64 UINT64 CacheDisabled
:1; // 0 = Cached, 1=Non-Cached
65 UINT64 Accessed
:1; // 0 = Not accessed, 1 = Accessed (set by CPU)
66 UINT64 Reserved
:1; // Reserved
67 UINT64 MustBeZero
:2; // Must Be Zero
68 UINT64 Available
:3; // Available for use by system software
69 UINT64 PageTableBaseAddress
:40; // Page Table Base Address
70 UINT64 AvabilableHigh
:11; // Available for use by system software
71 UINT64 Nx
:1; // No Execute bit
74 } PAGE_MAP_AND_DIRECTORY_POINTER
;
77 // Page Table Entry 2MB
81 UINT64 Present
:1; // 0 = Not present in memory, 1 = Present in memory
82 UINT64 ReadWrite
:1; // 0 = Read-Only, 1= Read/Write
83 UINT64 UserSupervisor
:1; // 0 = Supervisor, 1=User
84 UINT64 WriteThrough
:1; // 0 = Write-Back caching, 1=Write-Through caching
85 UINT64 CacheDisabled
:1; // 0 = Cached, 1=Non-Cached
86 UINT64 Accessed
:1; // 0 = Not accessed, 1 = Accessed (set by CPU)
87 UINT64 Dirty
:1; // 0 = Not Dirty, 1 = written by processor on access to page
88 UINT64 MustBe1
:1; // Must be 1
89 UINT64 Global
:1; // 0 = Not global page, 1 = global page TLB not cleared on CR3 write
90 UINT64 Available
:3; // Available for use by system software
92 UINT64 MustBeZero
:8; // Must be zero;
93 UINT64 PageTableBaseAddress
:31; // Page Table Base Address
94 UINT64 AvabilableHigh
:11; // Available for use by system software
95 UINT64 Nx
:1; // 0 = Execute Code, 1 = No Code Execution
104 Allocates and fills in the Page Directory and Page Table Entries to
105 establish a 1:1 Virtual to Physical mapping.
107 @param NumberOfProcessorPhysicalAddressBits Number of processor address bits
108 to use. Limits the number of page
109 table entries to the physical
112 @return The address of 4 level page map.
116 CreateIdentityMappingPageTables (
123 Fix up the vector number in the vector code.
125 @param VectorBase Base address of the vector handler.
126 @param VectorNum Index of vector.
139 Get the information of vector template.
141 @param TemplateBase Base address of the template code.
143 @return Size of the Template code.
148 AsmGetVectorTemplatInfo (
149 OUT VOID
**TemplateBase