Initialize system PTEs with arch-specific list terminator

xtoskrnl/mm/amd64/pte.cc

@@ -154,7 +154,7 @@ MM::Pte::InitializePageTable(VOID)
 }
 
 /**
- * Initializes the PTE template.
+ * Initializes the system's PTE.
  *
  * @return This routine does not return any value.
  *
@@ -162,9 +162,13 @@ MM::Pte::InitializePageTable(VOID)
  */
 XTAPI
 VOID
-MM::Pte::InitializePteTemplate(VOID)
+MM::Pte::InitializeSystemPte(VOID)
 {
+    /* Initialize the PTE template */
     ValidPte = {MM_PTE_VALID|MM_PTE_EXECUTE_READWRITE|MM_PTE_DIRTY|MM_PTE_ACCESSED};
+
+    /* Initialize the system's PTE list terminator */
+    ListTerminator = MM::Paging::GetPteListTerminator();
 }
 
 /**