Index: kernel/arch/sparc64/include/cpu.h
===================================================================
--- kernel/arch/sparc64/include/cpu.h	(revision 38d304b713f1d5b88150c27cf4fb859fa68f5453)
+++ kernel/arch/sparc64/include/cpu.h	(revision cd896e26b27f7c29d75d04d6d8a133a42f7ebe4a)
@@ -56,5 +56,4 @@
 	ver_reg_t ver;
 	uint32_t clock_frequency;	/**< Processor frequency in MHz. */
-	int dcache_active;		/**< When non-zero, the D-cache is not being shot down. */
 };
 	
Index: kernel/arch/sparc64/src/cpu/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/cpu.c	(revision 38d304b713f1d5b88150c27cf4fb859fa68f5453)
+++ kernel/arch/sparc64/src/cpu/cpu.c	(revision cd896e26b27f7c29d75d04d6d8a133a42f7ebe4a)
@@ -92,10 +92,4 @@
 		dtlb_insert_mapping((uintptr_t) CPU->stack, KA2PA(CPU->stack), PAGESIZE_8K, true, true);
 	}
-
-	/*
-	 * Set the D-cache active flag.
-	 * Needed for the D-cache to work.
-	 */
-	CPU->arch.dcache_active = 1;
 }