Changeset 410ed0d in mainline

Timestamp:

2006-10-27T20:39:59Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

3e35fd7

Parents:

ec04b20

Message:

Fix the following bug:

Ticket #3 data_access_exception after killing task on sparc64

File:

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

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

@@ -52 +52 @@
  * @param as Address space.
  * @param page First page to invalidate in TSB.
- * @param pages Number of pages to invalidate. Value of (count_t) -1 means the whole TSB. 
+ * @param pages Number of pages to invalidate.
+ *              Value of (count_t) -1 means the whole TSB.
  */
 void tsb_invalidate(as_t *as, uintptr_t page, count_t pages)
@@ -65 +66 @@
         
         for (i = 0; i < cnt; i++) {
-                as->arch.itsb[(i0 + i) & (ITSB_ENTRY_COUNT-1)].tag.invalid = 0;
-                as->arch.dtsb[(i0 + i) & (DTSB_ENTRY_COUNT-1)].tag.invalid = 0;
+                as->arch.itsb[(i0 + i) & (ITSB_ENTRY_COUNT-1)].tag.invalid = true;
+                as->arch.dtsb[(i0 + i) & (DTSB_ENTRY_COUNT-1)].tag.invalid = true;
         }
 }
@@ -88 +89 @@
          */
 
-        tsb->tag.invalid = 1;   /* invalidate the entry (tag target has this set to 0) */
+        tsb->tag.invalid = true;        /* invalidate the entry
+                                         * (tag target has this
+                                         * set to 0) */
 
         write_barrier();
@@ -99 +102 @@
         tsb->data.cp = t->c;
         tsb->data.cv = t->c;
-        tsb->data.p = t->k;     /* p as privileged */
+        tsb->data.p = t->k;             /* p as privileged */
         tsb->data.v = t->p;
         
         write_barrier();
         
-        tsb->tag.invalid = 0;   /* mark the entry as valid */
+        tsb->tag.invalid = false;       /* mark the entry as valid */
 }
 
@@ -126 +129 @@
          */
 
-        tsb->tag.invalid = 1;   /* invalidate the entry (tag target has this set to 0) */
+        tsb->tag.invalid = true;        /* invalidate the entry
+                                         * (tag target has this
+                                         * set to 0) */
 
         write_barrier();
@@ -137 +142 @@
         tsb->data.cp = t->c;
         tsb->data.cv = t->c;
-        tsb->data.p = t->k;     /* p as privileged */
+        tsb->data.p = t->k;             /* p as privileged */
         tsb->data.w = ro ? false : t->w;
         tsb->data.v = t->p;
@@ -143 +148 @@
         write_barrier();
         
-        tsb->tag.invalid = 0;   /* mark the entry as valid */
+        tsb->tag.invalid = true;        /* mark the entry as valid */
 }