Implement PTE manipulation functions for AMD64 architecture

xtoskrnl/includes/amd64/mmi.h

@@ -22,6 +22,10 @@ VOID
 MmZeroPages(IN PVOID Address,
             IN ULONG Size);
 
+XTAPI
+VOID
+MmpClearPte(PHARDWARE_PTE PtePointer);
+
 XTAPI
 BOOLEAN
 MmpGetExtendedPhysicalAddressingStatus(VOID);
@@ -50,4 +54,20 @@ XTAPI
 VOID
 MmpInitializeArchitecture(VOID);
 
+XTAPI
+BOOLEAN
+MmpPteValid(PHARDWARE_PTE PtePointer);
+
+XTAPI
+VOID
+MmpSetPte(PHARDWARE_PTE PtePointer,
+          PFN_NUMBER PageFrameNumber,
+          BOOLEAN Writable);
+
+XTAPI
+VOID
+MmpSetPteCaching(PHARDWARE_PTE PtePointer,
+                 BOOLEAN CacheDisable,
+                 BOOLEAN WriteThrough);
+
 #endif /* __XTOSKRNL_AMD64_MMI_H */