Changes in kernel/arch/mips32/src/mm/tlb.c [a35b458:1b20da0] in mainline

File:

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

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

@@ -76 +76 @@
 
         /* Clear and initialize TLB. */
-
+        
         for (i = 0; i < TLB_ENTRY_COUNT; i++) {
                 cp0_index_write(i);
                 tlbwi();
         }
-
+        
         /*
          * The kernel is going to make use of some wired
@@ -98 +98 @@
         uintptr_t badvaddr;
         pte_t pte;
-
+        
         badvaddr = cp0_badvaddr_read();
 
@@ -291 +291 @@
         lo1_save.value = cp0_entry_lo1_read();
         mask_save.value = cp0_pagemask_read();
-
+        
         printf("[nr] [asid] [vpn2    ] [mask] [gvdc] [pfn     ]\n");
-
+        
         for (i = 0; i < TLB_ENTRY_COUNT; i++) {
                 cp0_index_write(i);
                 tlbr();
-
+                
                 mask.value = cp0_pagemask_read();
                 hi.value = cp0_entry_hi_read();
                 lo0.value = cp0_entry_lo0_read();
                 lo1.value = cp0_entry_lo1_read();
-
+                
                 printf("%-4u %-6u %0#10x %-#6x  %1u%1u%1u%1u  %0#10x\n",
                     i, hi.asid, HI_VPN22ADDR(hi.vpn2), mask.mask,
@@ -309 +309 @@
                     lo1.g, lo1.v, lo1.d, lo1.c, LO_PFN2ADDR(lo1.pfn));
         }
-
+        
         cp0_entry_hi_write(hi_save.value);
         cp0_entry_lo0_write(lo0_save.value);
@@ -339 +339 @@
                 cp0_entry_lo0_write(lo0.value);
                 cp0_entry_lo1_write(lo1.value);
-
+                                
                 tlbwi();
         }
-
+        
         cp0_entry_hi_write(hi_save.value);
 }
@@ -360 +360 @@
 
         hi_save.value = cp0_entry_hi_read();
-
+        
         for (i = 0; i < TLB_ENTRY_COUNT; i++) {
                 cp0_index_write(i);
                 tlbr();
-
+                
                 hi.value = cp0_entry_hi_read();
-
+                
                 if (hi.asid == asid) {
                         lo0.value = cp0_entry_lo0_read();
@@ -380 +380 @@
                 }
         }
-
+        
         cp0_entry_hi_write(hi_save.value);
 }
@@ -399 +399 @@
 
         assert(interrupts_disabled());
-
+        
         if (asid == ASID_INVALID)
                 return;
@@ -431 +431 @@
                 }
         }
-
+        
         cp0_entry_hi_write(hi_save.value);
 }