TianoCore EDK2 master
|
#include "CpuPageTable.h"
Go to the source code of this file.
Functions | |
VOID | GetPagingDetails (IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData, OUT UINTN **PageTableBase OPTIONAL, OUT UINT32 **Attributes OPTIONAL) |
Return Paging attribute.
Copyright (c) 2019, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file PagingAttribute.c.
VOID GetPagingDetails | ( | IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA * | PagingContextData, |
OUT UINTN **PageTableBase | OPTIONAL, | ||
OUT UINT32 **Attributes | OPTIONAL | ||
) |
Get paging details.
PagingContextData | The paging context. |
PageTableBase | Return PageTableBase field. |
Attributes | Return Attributes field. |
Definition at line 20 of file PagingAttribute.c.