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 /**
  13   Get paging details.
  14
  15   @param  PagingContextData      The paging context.
  16   @param  PageTableBase          Return PageTableBase field.
  17   @param  Attributes             Return Attributes field.
  18
  19 **/
  20 VOID
  21 GetPagingDetails (
  22   IN  PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData,
  23   OUT UINTN                              **PageTableBase     OPTIONAL,
  24   OUT UINT32                             **Attributes        OPTIONAL
  25   )
  26 {
  27   if (PageTableBase != NULL) {
  28     *PageTableBase = &PagingContextData->X64.PageTableBase;
  29   }
  30   if (Attributes != NULL) {
  31     *Attributes = &PagingContextData->X64.Attributes;
  32   }
  33 }
  34