Changeset 7910cff in mainline

Timestamp:

2005-12-11T13:31:33Z (19 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.

Files:

• arch/amd64/include/asm.h (modified) (2 diffs)
• arch/ia32/include/asm.h (modified) (2 diffs)
• arch/ia32/src/mm/tlb.c (modified) (2 diffs)
• generic/include/mm/tlb.h (modified) (3 diffs)
• generic/include/mm/tlb_cmd.h (deleted)

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

generic/include/mm/tlb.h

@@ -31 +31 @@
 
 #include <arch/mm/asid.h>
+#include <arch/types.h>
 
 extern void tlb_init(void);
@@ -44 +45 @@
 #endif /* CONFIG_SMP */
 
+/** Type of TLB shootdown message. */
+enum tlb_invalidate_type {
+        TLB_INVL_INVALID = 0,           /**< Invalid type. */
+        TLB_INVL_ALL,                   /**< Invalidate all entries in TLB. */
+        TLB_INVL_ASID,                  /**< Invalidate all entries belonging to one address space. */
+        TLB_INVL_PAGE                   /**< Invalidate one entry for specified page. */
+};
+
+typedef enum tlb_invalidate_type tlb_invalidate_type_t;
+
+/** TLB shootdown message. */
+struct tlb_shootdown_msg {
+        tlb_invalidate_type_t type;     /**< Message type. */
+        asid_t asid;                    /**< Address space identifier. */
+        __address page;                 /**< Page address. */
+};
+
+typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
+
 /* Export TLB interface that each architecture must implement. */
 extern void tlb_arch_init(void);
@@ -50 +70 @@
 extern void tlb_shootdown_ipi_send(void);
 
+extern void tlb_invalidate_all(void);
+extern void tlb_invalidate_asid(asid_t asid);
+extern void tlb_invalidate_page(asid_t asid, __address page);
+
 #endif