123456789101112131415161718192021222324252627282930313233 |
- /** @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->Ia32.PageTableBase;
- }
- if (Attributes != NULL) {
- *Attributes = &PagingContextData->Ia32.Attributes;
- }
- }
|