Changeset 7910cff in mainline for arch/ia32/src

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.

File:

• arch/ia32/src/mm/tlb.c (modified) (2 diffs)

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);
+}