Changeset 7910cff in mainline for generic/include/mm/tlb.h

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:

• generic/include/mm/tlb.h (modified) (3 diffs)

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