Changes in kernel/arch/mips32/src/mm/as.c [edebc15c:54a7a20] in mainline

File:

• kernel/arch/mips32/src/mm/as.c (modified) (1 diff)

kernel/arch/mips32/src/mm/as.c

@@ -61 +61 @@
         /*
          * Install ASID.
-         */     
+         */
         hi.value = cp0_entry_hi_read();
 
         hi.asid = as->asid;
-        cp0_entry_hi_write(hi.value);   
+        cp0_entry_hi_write(hi.value);
 }