Changeset 29b2bbf in mainline for kernel/arch/sparc64/include/mm/tsb.h

Timestamp:

2006-09-18T22:10:20Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

19dba2b

Parents:

57da95c

Message:

sparc64 work:

• Experimental support for TSB (Translation Storage Buffer).

File:

• kernel/arch/sparc64/include/mm/tsb.h (modified) (3 diffs)

kernel/arch/sparc64/include/mm/tsb.h

@@ -36 +36 @@
 #define KERN_sparc64_TSB_H_
 
-#include <arch/mm/tte.h>
-#include <arch/mm/mmu.h>
-#include <arch/types.h>
-#include <typedefs.h>
-
 /*
  * ITSB abd DTSB will claim 64K of memory, which
@@ -52 +47 @@
 #define DTSB_ENTRY_COUNT                (512*(1<<TSB_SIZE))
 
+#define TSB_TAG_TARGET_CONTEXT_SHIFT    48
+
+#ifndef __ASM__
+
+#include <arch/mm/tte.h>
+#include <arch/mm/mmu.h>
+#include <arch/types.h>
+#include <typedefs.h>
+
+/** TSB Tag Target register. */
+union tsb_tag_target {
+        uint64_t value;
+        struct {
+                unsigned invalid : 1;   /**< Invalidated by software. */
+                unsigned : 2;
+                unsigned context : 13;  /**< Software ASID. */
+                unsigned : 6;
+                uint64_t va_tag : 42;   /**< Virtual address bits <63:22>. */
+        } __attribute__ ((packed));
+};
+typedef union tsb_tag_target tsb_tag_target_t;
+
+/** TSB entry. */
 struct tsb_entry {
-        tte_tag_t tag;
+        tsb_tag_target_t tag;
         tte_data_t data;
 } __attribute__ ((packed));
@@ -110 +128 @@
 
 extern void tsb_invalidate(as_t *as, uintptr_t page, count_t pages);
+extern void itsb_pte_copy(pte_t *t);
+extern void dtsb_pte_copy(pte_t *t, bool ro);
+
+#endif /* !def __ASM__ */
 
 #endif