PagingAttribute.c

Go to the documentation of this file.

 
#include "CpuPageTable.h"
 
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;
  }
}