\r
#include "CpuPageTable.h"\r
\r
-\r
/**\r
Get paging details.\r
\r
**/\r
VOID\r
GetPagingDetails (\r
- IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData,\r
- OUT UINTN **PageTableBase OPTIONAL,\r
- OUT UINT32 **Attributes OPTIONAL\r
+ IN PAGE_TABLE_LIB_PAGING_CONTEXT_DATA *PagingContextData,\r
+ OUT UINTN **PageTableBase OPTIONAL,\r
+ OUT UINT32 **Attributes OPTIONAL\r
)\r
{\r
if (PageTableBase != NULL) {\r
*PageTableBase = &PagingContextData->Ia32.PageTableBase;\r
}\r
+\r
if (Attributes != NULL) {\r
*Attributes = &PagingContextData->Ia32.Attributes;\r
}\r
}\r
-\r