Changeset 4512d7e in mainline for arch/ia32

Timestamp:

2006-01-19T22:17:47Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

6461d67c

Parents:

64c44e8

Message:

New ASID management subsystem (initial work, more is required).
Some TLB invalidation changes.

Location:

arch/ia32

Files:

• include/mm/asid.h (modified) (2 diffs)
• src/mm/tlb.c (modified) (2 diffs)

arch/ia32/include/mm/asid.h

@@ -27 +27 @@
  */
 
+/*
+ * ia32 has no hardware support for address space identifiers.
+ * This file is provided to do nop-implementation of mm/asid.h
+ * interface.
+ */
+
 #ifndef __ia32_ASID_H__
 #define __ia32_ASID_H__
@@ -32 +38 @@
 typedef int asid_t;
 
-#define asid_get()      0
+#define ASID_MAX_ARCH           0
+
+#define asid_install(as)
 
 #endif

arch/ia32/src/mm/tlb.c

@@ -32 +32 @@
 #include <arch/types.h>
 
-/** Invalidate all TLB entries
- *
- * Invalidate all TLB entries.
- *
- * @param asid This argument is ignored.
- */
-void tlb_invalidate(asid_t asid)
-{
-        write_cr3(read_cr3());
-}
-
 /** Invalidate all entries in TLB. */
 void tlb_invalidate_all(void)
@@ -58 +47 @@
 }
 
-/** Invalidate TLB entry for specified page belongs to specified address space.
+/** Invalidate TLB entry for specified page range belonging 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.
+ * @param page Address of the first page whose entry is to be invalidated.
+ * @param cnt Number of entries to invalidate.
  */
-void tlb_invalidate_page(asid_t asid, __address page)
+void tlb_invalidate_pages(asid_t asid, __address page, count_t cnt)
 {
-        invlpg(page);
+        int i;
+
+        for (i = 0; i < cnt; i++)
+                invlpg(page + i * PAGE_SIZE);
 }