Changes in kernel/arch/mips32/src/mm/tlb.c [54a7a20:2bdf8313] in mainline

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (2 diffs)

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

@@ -73 +73 @@
                 tlbwi();
         }
-        
+                
         /*
          * The kernel is going to make use of some wired
@@ -386 +386 @@
                         ASSERT(pte->w || access != PF_ACCESS_WRITE);
                         return pte;
+                        break;
                 case AS_PF_DEFER:
                         *pfrc = AS_PF_DEFER;
                         return NULL;
+                        break;
                 case AS_PF_FAULT:
                         *pfrc = AS_PF_FAULT;
                         return NULL;
+                        break;
                 default:
                         panic("Unexpected rc (%d).", rc);