/** @file | |
Return Paging attribute. | |
Copyright (c) 2019, Intel Corporation. All rights reserved.<BR> | |
SPDX-License-Identifier: BSD-2-Clause-Patent | |
**/ | |
#include "CpuPageTable.h" | |
/** | |
Get paging details. | |
@param PagingContextData The paging context. | |
@param PageTableBase Return PageTableBase field. | |
@param Attributes Return Attributes field. | |
**/ | |
VOID | |
GetPagingDetails ( | |
IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData, | |
OUT UINTN **PageTableBase OPTIONAL, | |
OUT UINT32 **Attributes OPTIONAL | |
) | |
{ | |
if (PageTableBase != NULL) { | |
*PageTableBase = &PagingContextData->X64.PageTableBase; | |
} | |
if (Attributes != NULL) { | |
*Attributes = &PagingContextData->X64.Attributes; | |
} | |
} |