Index: kernel/arch/sparc64/src/mm/tsb.c
===================================================================
--- kernel/arch/sparc64/src/mm/tsb.c	(revision ec04b209000b3a97373f9e45740f860a49db9a9b)
+++ kernel/arch/sparc64/src/mm/tsb.c	(revision 410ed0de5f795378bddd39291f618013b459d912)
@@ -52,5 +52,6 @@
  * @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,6 +66,6 @@
 	
 	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,5 +89,7 @@
 	 */
 
-	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,10 +102,10 @@
 	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,5 +129,7 @@
 	 */
 
-	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,5 +142,5 @@
 	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,5 +148,5 @@
 	write_barrier();
 	
-	tsb->tag.invalid = 0;	/* mark the entry as valid */
+	tsb->tag.invalid = true;	/* mark the entry as valid */
 }