Changes in kernel/arch/sparc64/src/mm/sun4u/tsb.c [e08162b:9d58539] in mainline

File:

• kernel/arch/sparc64/src/mm/sun4u/tsb.c (modified) (11 diffs)

kernel/arch/sparc64/src/mm/sun4u/tsb.c

@@ -42 +42 @@
 #include <debug.h>
 
+#define TSB_INDEX_MASK  ((1 << (21 + 1 + TSB_SIZE - MMU_PAGE_WIDTH)) - 1)
+
 /** Invalidate portion of TSB.
  *
@@ -58 +60 @@
         size_t cnt;
         
-        ASSERT(as->arch.itsb);
-        ASSERT(as->arch.dtsb);
+        ASSERT(as->arch.itsb && as->arch.dtsb);
         
-        i0 = (page >> MMU_PAGE_WIDTH) & ITSB_ENTRY_MASK;
+        i0 = (page >> MMU_PAGE_WIDTH) & TSB_INDEX_MASK;
+        ASSERT(i0 < ITSB_ENTRY_COUNT && i0 < DTSB_ENTRY_COUNT);
 
         if (pages == (size_t) -1 || (pages * 2) > ITSB_ENTRY_COUNT)
@@ -69 +71 @@
         
         for (i = 0; i < cnt; i++) {
-                as->arch.itsb[(i0 + i) & ITSB_ENTRY_MASK].tag.invalid = true;
-                as->arch.dtsb[(i0 + i) & DTSB_ENTRY_MASK].tag.invalid = true;
+                as->arch.itsb[(i0 + i) & (ITSB_ENTRY_COUNT - 1)].tag.invalid =
+                    true;
+                as->arch.dtsb[(i0 + i) & (DTSB_ENTRY_COUNT - 1)].tag.invalid =
+                    true;
         }
 }
@@ -82 +86 @@
 {
         as_t *as;
-        tsb_entry_t *tte;
+        tsb_entry_t *tsb;
         size_t entry;
 
@@ -88 +92 @@
         
         as = t->as;
-        entry = ((t->page >> MMU_PAGE_WIDTH) + index) & ITSB_ENTRY_MASK;
-        tte = &as->arch.itsb[entry];
+        entry = ((t->page >> MMU_PAGE_WIDTH) + index) & TSB_INDEX_MASK; 
+        ASSERT(entry < ITSB_ENTRY_COUNT);
+        tsb = &as->arch.itsb[entry];
 
         /*
@@ -97 +102 @@
          */
 
-        tte->tag.invalid = true;        /* invalidate the entry
+        tsb->tag.invalid = true;        /* invalidate the entry
                                          * (tag target has this
                                          * set to 0) */
@@ -103 +108 @@
         write_barrier();
 
-        tte->tag.context = as->asid;
+        tsb->tag.context = as->asid;
         /* the shift is bigger than PAGE_WIDTH, do not bother with index  */
-        tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
-        tte->data.value = 0;
-        tte->data.size = PAGESIZE_8K;
-        tte->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
-        tte->data.cp = t->c;    /* cp as cache in phys.-idxed, c as cacheable */
-        tte->data.p = t->k;     /* p as privileged, k as kernel */
-        tte->data.v = t->p;     /* v as valid, p as present */
+        tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
+        tsb->data.value = 0;
+        tsb->data.size = PAGESIZE_8K;
+        tsb->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
+        tsb->data.cp = t->c;    /* cp as cache in phys.-idxed, c as cacheable */
+        tsb->data.p = t->k;     /* p as privileged, k as kernel */
+        tsb->data.v = t->p;     /* v as valid, p as present */
         
         write_barrier();
         
-        tte->tag.invalid = false;       /* mark the entry as valid */
+        tsb->tag.invalid = false;       /* mark the entry as valid */
 }
 
@@ -127 +132 @@
 {
         as_t *as;
-        tsb_entry_t *tte;
+        tsb_entry_t *tsb;
         size_t entry;
         
@@ -133 +138 @@
 
         as = t->as;
-        entry = ((t->page >> MMU_PAGE_WIDTH) + index) & DTSB_ENTRY_MASK;
-        tte = &as->arch.dtsb[entry];
+        entry = ((t->page >> MMU_PAGE_WIDTH) + index) & TSB_INDEX_MASK;
+        ASSERT(entry < DTSB_ENTRY_COUNT);
+        tsb = &as->arch.dtsb[entry];
 
         /*
@@ -142 +148 @@
          */
 
-        tte->tag.invalid = true;        /* invalidate the entry
+        tsb->tag.invalid = true;        /* invalidate the entry
                                          * (tag target has this
                                          * set to 0) */
@@ -148 +154 @@
         write_barrier();
 
-        tte->tag.context = as->asid;
+        tsb->tag.context = as->asid;
         /* the shift is bigger than PAGE_WIDTH, do not bother with index */
-        tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
-        tte->data.value = 0;
-        tte->data.size = PAGESIZE_8K;
-        tte->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
-        tte->data.cp = t->c;
+        tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
+        tsb->data.value = 0;
+        tsb->data.size = PAGESIZE_8K;
+        tsb->data.pfn = (t->frame >> MMU_FRAME_WIDTH) + index;
+        tsb->data.cp = t->c;
 #ifdef CONFIG_VIRT_IDX_DCACHE
-        tte->data.cv = t->c;
+        tsb->data.cv = t->c;
 #endif /* CONFIG_VIRT_IDX_DCACHE */
-        tte->data.p = t->k;             /* p as privileged */
-        tte->data.w = ro ? false : t->w;
-        tte->data.v = t->p;
+        tsb->data.p = t->k;             /* p as privileged */
+        tsb->data.w = ro ? false : t->w;
+        tsb->data.v = t->p;
         
         write_barrier();
         
-        tte->tag.invalid = false;       /* mark the entry as valid */
+        tsb->tag.invalid = false;       /* mark the entry as valid */
 }