Implement ArFlushTlb() routine

xtoskrnl/ar/amd64/cpufunc.c

@@ -67,6 +67,21 @@ ArCpuId(IN OUT PCPUID_REGISTERS Registers)
     return TRUE;
 }
 
+/**
+ * Partially flushes the Translation Lookaside Buffer (TLB)
+ *
+ * @return This routine does not return any value.
+ *
+ * @since XT 1.0
+ */
+XTCDECL
+VOID
+ArFlushTlb()
+{
+    /* Flush the TLB by resetting the CR3 */
+    ArWriteControlRegister(3, ArReadControlRegister(3));
+}
+
 /**
  * Gets the address of the current stack register.
  *

xtoskrnl/ar/i686/cpufunc.c

@@ -67,6 +67,21 @@ ArCpuId(IN OUT PCPUID_REGISTERS Registers)
     return TRUE;
 }
 
+/**
+ * Partially flushes the Translation Lookaside Buffer (TLB)
+ *
+ * @return This routine does not return any value.
+ *
+ * @since XT 1.0
+ */
+XTCDECL
+VOID
+ArFlushTlb()
+{
+    /* Flush the TLB by resetting the CR3 */
+    ArWriteControlRegister(3, ArReadControlRegister(3));
+}
+
 /**
  * Gets the address of the current stack register.
  *

xtoskrnl/includes/amd64/ari.h

@@ -21,6 +21,10 @@ XTCDECL
 BOOLEAN
 ArCpuId(IN OUT PCPUID_REGISTERS Registers);
 
+XTCDECL
+VOID
+ArFlushTlb();
+
 XTASSEMBLY
 XTCDECL
 ULONG_PTR

xtoskrnl/includes/i686/ari.h

@@ -21,6 +21,10 @@ XTCDECL
 BOOLEAN
 ArCpuId(IN OUT PCPUID_REGISTERS Registers);
 
+XTCDECL
+VOID
+ArFlushTlb();
+
 XTASSEMBLY
 XTCDECL
 ULONG_PTR