UefiCpuPkg/CpuDxe/X64/PagingAttribute.c

   1 /** @file
   2   Return Paging attribute.
   3
   4   Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
   5   SPDX-License-Identifier: BSD-2-Clause-Patent
   6
   7 **/
   8
   9 #include "CpuPageTable.h"
  10
  11 /**
  12   Get paging details.
  13
  14   @param  PagingContextData      The paging context.
  15   @param  PageTableBase          Return PageTableBase field.
  16   @param  Attributes             Return Attributes field.
  17
  18 **/
  19 VOID
  20 GetPagingDetails (
  21   IN  PAGE_TABLE_LIB_PAGING_CONTEXT_DATA  *PagingContextData,
  22   OUT UINTN                               **PageTableBase     OPTIONAL,
  23   OUT UINT32                              **Attributes        OPTIONAL
  24   )
  25 {
  26   if (PageTableBase != NULL) {
  27     *PageTableBase = &PagingContextData->X64.PageTableBase;
  28   }
  29
  30   if (Attributes != NULL) {
  31     *Attributes = &PagingContextData->X64.Attributes;
  32   }
  33 }