2 Page table management header file.
4 Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef _PAGE_TABLE_LIB_H_
16 #define _PAGE_TABLE_LIB_H_
18 #include <IndustryStandard/PeImage.h>
20 #define PAGE_TABLE_LIB_PAGING_CONTEXT_IA32_X64_ATTRIBUTES_PSE BIT0
21 #define PAGE_TABLE_LIB_PAGING_CONTEXT_IA32_X64_ATTRIBUTES_PAE BIT1
22 #define PAGE_TABLE_LIB_PAGING_CONTEXT_IA32_X64_ATTRIBUTES_PAGE_1G_SUPPORT BIT2
23 #define PAGE_TABLE_LIB_PAGING_CONTEXT_IA32_X64_ATTRIBUTES_WP_ENABLE BIT30
24 #define PAGE_TABLE_LIB_PAGING_CONTEXT_IA32_X64_ATTRIBUTES_XD_ACTIVATED BIT31
25 // Other bits are reserved for future use
30 } PAGE_TABLE_LIB_PAGING_CONTEXT_IA32
;
35 } PAGE_TABLE_LIB_PAGING_CONTEXT_X64
;
38 PAGE_TABLE_LIB_PAGING_CONTEXT_IA32 Ia32
;
39 PAGE_TABLE_LIB_PAGING_CONTEXT_X64 X64
;
40 } PAGE_TABLE_LIB_PAGING_CONTEXT_DATA
;
44 // PE32+ Machine type for EFI images
46 // #define IMAGE_FILE_MACHINE_I386 0x014c
47 // #define IMAGE_FILE_MACHINE_X64 0x8664
50 PAGE_TABLE_LIB_PAGING_CONTEXT_DATA ContextData
;
51 } PAGE_TABLE_LIB_PAGING_CONTEXT
;
53 #define PAGE_TABLE_POOL_ALIGNMENT BASE_2MB
54 #define PAGE_TABLE_POOL_UNIT_SIZE SIZE_2MB
55 #define PAGE_TABLE_POOL_UNIT_PAGES EFI_SIZE_TO_PAGES (PAGE_TABLE_POOL_UNIT_SIZE)
56 #define PAGE_TABLE_POOL_ALIGN_MASK \
57 (~(EFI_PHYSICAL_ADDRESS)(PAGE_TABLE_POOL_ALIGNMENT - 1))
67 Allocates one or more 4KB pages for page table.
69 @param Pages The number of 4 KB pages to allocate.
71 @return A pointer to the allocated buffer or NULL if allocation fails.
76 (EFIAPI
*PAGE_TABLE_LIB_ALLOCATE_PAGES
) (
81 This function assigns the page attributes for the memory region specified by BaseAddress and
82 Length from their current attributes to the attributes specified by Attributes.
84 Caller should make sure BaseAddress and Length is at page boundary.
86 Caller need guarentee the TPL <= TPL_NOTIFY, if there is split page request.
88 @param PagingContext The paging context. NULL means get page table from current CPU context.
89 @param BaseAddress The physical address that is the start address of a memory region.
90 @param Length The size in bytes of the memory region.
91 @param Attributes The bit mask of attributes to set for the memory region.
92 @param AllocatePagesFunc If page split is needed, this function is used to allocate more pages.
93 NULL mean page split is unsupported.
95 @retval RETURN_SUCCESS The attributes were cleared for the memory region.
96 @retval RETURN_ACCESS_DENIED The attributes for the memory resource range specified by
97 BaseAddress and Length cannot be modified.
98 @retval RETURN_INVALID_PARAMETER Length is zero.
99 Attributes specified an illegal combination of attributes that
100 cannot be set together.
101 @retval RETURN_OUT_OF_RESOURCES There are not enough system resources to modify the attributes of
102 the memory resource range.
103 @retval RETURN_UNSUPPORTED The processor does not support one or more bytes of the memory
104 resource range specified by BaseAddress and Length.
105 The bit mask of attributes is not support for the memory resource
106 range specified by BaseAddress and Length.
110 AssignMemoryPageAttributes (
111 IN PAGE_TABLE_LIB_PAGING_CONTEXT
*PagingContext OPTIONAL
,
112 IN PHYSICAL_ADDRESS BaseAddress
,
114 IN UINT64 Attributes
,
115 IN PAGE_TABLE_LIB_ALLOCATE_PAGES AllocatePagesFunc OPTIONAL
119 Initialize the Page Table lib.
122 InitializePageTableLib (
127 This API provides a way to allocate memory for page table.
129 This API can be called more once to allocate memory for page tables.
131 Allocates the number of 4KB pages of type EfiRuntimeServicesData and returns a pointer to the
132 allocated buffer. The buffer returned is aligned on a 4KB boundary. If Pages is 0, then NULL
133 is returned. If there is not enough memory remaining to satisfy the request, then NULL is
136 @param Pages The number of 4 KB pages to allocate.
138 @return A pointer to the allocated buffer or NULL if allocation fails.
143 AllocatePageTableMemory (