mirror of
				https://github.com/acidanthera/audk.git
				synced 2025-10-31 03:03:46 +01:00 
			
		
		
		
	Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Yingke Liu <yingke.d.liu@intel.com> Reviewed-by: Liming Gao <liming.gao@intel.com> git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@15971 6f19259b-4bc3-4df7-8a09-765794883524
		
			
				
	
	
		
			123 lines
		
	
	
		
			5.7 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			123 lines
		
	
	
		
			5.7 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| /** @file 
 | |
| x64 Long Mode Virtual Memory Management Definitions  
 | |
| 
 | |
|   References:
 | |
|     1) IA-32 Intel(R) Atchitecture Software Developer's Manual Volume 1:Basic Architecture, Intel
 | |
|     2) IA-32 Intel(R) Atchitecture Software Developer's Manual Volume 2:Instruction Set Reference, Intel
 | |
|     3) IA-32 Intel(R) Atchitecture Software Developer's Manual Volume 3:System Programmer's Guide, Intel
 | |
|     4) AMD64 Architecture Programmer's Manual Volume 2: System Programming
 | |
|     
 | |
| Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>
 | |
| This program and the accompanying materials                          
 | |
| are licensed and made available under the terms and conditions of the BSD License         
 | |
| which accompanies this distribution.  The full text of the license may be found at        
 | |
| http://opensource.org/licenses/bsd-license.php                                            
 | |
|                                                                                           
 | |
| THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
 | |
| WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
 | |
|   
 | |
| **/
 | |
| 
 | |
| #ifndef _VIRTUAL_MEMORY_H_
 | |
| #define _VIRTUAL_MEMORY_H_
 | |
| 
 | |
| #include "CommonLib.h"
 | |
| 
 | |
| #pragma pack(1)
 | |
| 
 | |
| //
 | |
| // Page-Map Level-4 Offset (PML4) and
 | |
| // Page-Directory-Pointer Offset (PDPE) entries 4K & 2MB
 | |
| //
 | |
| 
 | |
| typedef union {
 | |
|   struct {
 | |
|     UINT64  Present:1;                // 0 = Not present in memory, 1 = Present in memory
 | |
|     UINT64  ReadWrite:1;              // 0 = Read-Only, 1= Read/Write
 | |
|     UINT64  UserSupervisor:1;         // 0 = Supervisor, 1=User
 | |
|     UINT64  WriteThrough:1;           // 0 = Write-Back caching, 1=Write-Through caching
 | |
|     UINT64  CacheDisabled:1;          // 0 = Cached, 1=Non-Cached
 | |
|     UINT64  Accessed:1;               // 0 = Not accessed, 1 = Accessed (set by CPU)
 | |
|     UINT64  Reserved:1;               // Reserved
 | |
|     UINT64  MustBeZero:2;             // Must Be Zero
 | |
|     UINT64  Available:3;              // Available for use by system software
 | |
|     UINT64  PageTableBaseAddress:40;  // Page Table Base Address
 | |
|     UINT64  AvabilableHigh:11;        // Available for use by system software
 | |
|     UINT64  Nx:1;                     // No Execute bit
 | |
|   } Bits;
 | |
|   UINT64    Uint64;
 | |
| } X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K;
 | |
| 
 | |
| //
 | |
| // Page-Directory Offset 4K
 | |
| //
 | |
| typedef union {
 | |
|   struct {
 | |
|     UINT64  Present:1;                // 0 = Not present in memory, 1 = Present in memory
 | |
|     UINT64  ReadWrite:1;              // 0 = Read-Only, 1= Read/Write
 | |
|     UINT64  UserSupervisor:1;         // 0 = Supervisor, 1=User
 | |
|     UINT64  WriteThrough:1;           // 0 = Write-Back caching, 1=Write-Through caching
 | |
|     UINT64  CacheDisabled:1;          // 0 = Cached, 1=Non-Cached
 | |
|     UINT64  Accessed:1;               // 0 = Not accessed, 1 = Accessed (set by CPU)
 | |
|     UINT64  Reserved:1;               // Reserved
 | |
|     UINT64  MustBeZero:1;             // Must Be Zero
 | |
|     UINT64  Reserved2:1;              // Reserved
 | |
|     UINT64  Available:3;              // Available for use by system software
 | |
|     UINT64  PageTableBaseAddress:40;  // Page Table Base Address
 | |
|     UINT64  AvabilableHigh:11;        // Available for use by system software
 | |
|     UINT64  Nx:1;                     // No Execute bit
 | |
|   } Bits;
 | |
|   UINT64    Uint64;
 | |
| } X64_PAGE_DIRECTORY_ENTRY_4K;
 | |
| 
 | |
| //
 | |
| // Page Table Entry 4K
 | |
| //
 | |
| typedef union {
 | |
|   struct {
 | |
|     UINT64  Present:1;                // 0 = Not present in memory, 1 = Present in memory
 | |
|     UINT64  ReadWrite:1;              // 0 = Read-Only, 1= Read/Write
 | |
|     UINT64  UserSupervisor:1;         // 0 = Supervisor, 1=User
 | |
|     UINT64  WriteThrough:1;           // 0 = Write-Back caching, 1=Write-Through caching
 | |
|     UINT64  CacheDisabled:1;          // 0 = Cached, 1=Non-Cached
 | |
|     UINT64  Accessed:1;               // 0 = Not accessed, 1 = Accessed (set by CPU)
 | |
|     UINT64  Dirty:1;                  // 0 = Not Dirty, 1 = written by processor on access to page
 | |
|     UINT64  PAT:1;                    // 0 = Ignore Page Attribute Table 
 | |
|     UINT64  Global:1;                 // 0 = Not global page, 1 = global page TLB not cleared on CR3 write
 | |
|     UINT64  Available:3;              // Available for use by system software
 | |
|     UINT64  PageTableBaseAddress:40;  // Page Table Base Address
 | |
|     UINT64  AvabilableHigh:11;        // Available for use by system software
 | |
|     UINT64  Nx:1;                     // 0 = Execute Code, 1 = No Code Execution
 | |
|   } Bits;
 | |
|   UINT64    Uint64;
 | |
| } X64_PAGE_TABLE_ENTRY_4K;
 | |
| 
 | |
| 
 | |
| //
 | |
| // Page Table Entry 2MB
 | |
| //
 | |
| typedef union {
 | |
|   struct {
 | |
|     UINT64  Present:1;                // 0 = Not present in memory, 1 = Present in memory
 | |
|     UINT64  ReadWrite:1;              // 0 = Read-Only, 1= Read/Write
 | |
|     UINT64  UserSupervisor:1;         // 0 = Supervisor, 1=User
 | |
|     UINT64  WriteThrough:1;           // 0 = Write-Back caching, 1=Write-Through caching
 | |
|     UINT64  CacheDisabled:1;          // 0 = Cached, 1=Non-Cached
 | |
|     UINT64  Accessed:1;               // 0 = Not accessed, 1 = Accessed (set by CPU)
 | |
|     UINT64  Dirty:1;                  // 0 = Not Dirty, 1 = written by processor on access to page
 | |
|     UINT64  MustBe1:1;                // Must be 1 
 | |
|     UINT64  Global:1;                 // 0 = Not global page, 1 = global page TLB not cleared on CR3 write
 | |
|     UINT64  Available:3;              // Available for use by system software
 | |
|     UINT64  PAT:1;                    //
 | |
|     UINT64  MustBeZero:8;             // Must be zero;
 | |
|     UINT64  PageTableBaseAddress:31;  // Page Table Base Address
 | |
|     UINT64  AvabilableHigh:11;        // Available for use by system software
 | |
|     UINT64  Nx:1;                     // 0 = Execute Code, 1 = No Code Execution
 | |
|   } Bits;
 | |
|   UINT64    Uint64;
 | |
| } X64_PAGE_TABLE_ENTRY_2M;
 | |
| 
 | |
| #pragma pack()
 | |
| 
 | |
| #endif 
 |