Changeset 7910cff in mainline for arch

Timestamp:

2005-12-11T13:31:33Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a98d2ec

Parents:

442d0ae

Message:

Finer grained TLB invalidate functions for ia32 and amd64. Not yet deployed.

Location:

arch

Files:

• amd64/include/asm.h (modified) (2 diffs)
• ia32/include/asm.h (modified) (2 diffs)
• ia32/src/mm/tlb.c (modified) (2 diffs)

arch/amd64/include/asm.h

@@ -33 +33 @@
 #include <config.h>
 
-
-void asm_delay_loop(__u32 t);
-void asm_fake_loop(__u32 t);
+extern void asm_delay_loop(__u32 t);
+extern void asm_fake_loop(__u32 t);
 
 /** Return base address of current stack.
@@ -229 +228 @@
 }
 
+/** Invalidate TLB Entry.
+ *
+ * @param addr Address on a page whose TLB entry is to be invalidated.
+ */
+static inline void invlpg(__address addr)
+{
+        __asm__ volatile ("invlpg %0\n" :: "m" (addr));
+}
 
 extern size_t interrupt_handler_size;

arch/ia32/include/asm.h

@@ -43 +43 @@
 
 
-void asm_delay_loop(__u32 t);
-void asm_fake_loop(__u32 t);
+extern void asm_delay_loop(__u32 t);
+extern void asm_fake_loop(__u32 t);
 
 
@@ -236 +236 @@
 }
 
+/** Invalidate TLB Entry.
+ *
+ * @param addr Address on a page whose TLB entry is to be invalidated.
+ */
+static inline void invlpg(__address addr)
+{
+        __asm__ volatile ("invlpg %0\n" :: "m" (addr));
+}
+
 #endif

arch/ia32/src/mm/tlb.c

@@ -30 +30 @@
 #include <arch/mm/asid.h>
 #include <arch/asm.h>
+#include <arch/types.h>
 
 /** Invalidate all TLB entries
@@ -41 +42 @@
         write_cr3(read_cr3());
 }
+
+/** Invalidate all entries in TLB. */
+void tlb_invalidate_all(void)
+{
+        write_cr3(read_cr3());
+}
+
+/** Invalidate all entries in TLB that belong to specified address space.
+ *
+ * @param asid This parameter is ignored as the architecture doesn't support it.
+ */
+void tlb_invalidate_asid(asid_t asid)
+{
+        tlb_invalidate_all();
+}
+
+/** Invalidate TLB entry for specified page belongs to specified address space.
+ *
+ * @param asid This parameter is ignored as the architecture doesn't support it.
+ * @param page Address of the page whose entry is to be invalidated.
+ */
+void tlb_invalidate_page(asid_t asid, __address page)
+{
+        invlpg(page);
+}