Changes in kernel/arch/ppc32/src/mm/tlb.c [9d58539:a35b458] in mainline

File:

• kernel/arch/ppc32/src/mm/tlb.c (modified) (6 diffs)

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

@@ -42 +42 @@
         ptehi_t ptehi;
         ptelo_t ptelo;
-        
+
         asm volatile (
                 "mfspr %[tlbmiss], 980\n"
@@ -51 +51 @@
                   [ptelo] "=r" (ptelo)
         );
-        
+
         uint32_t badvaddr = tlbmiss & 0xfffffffc;
         uint32_t physmem = physmem_top();
-        
+
         if ((badvaddr < PA2KA(0)) || (badvaddr >= PA2KA(physmem)))
                 return; // FIXME
-        
+
         ptelo.rpn = KA2PA(badvaddr) >> 12;
         ptelo.wimg = 0;
         ptelo.pp = 2; // FIXME
-        
+
         uint32_t index = 0;
         asm volatile (
@@ -84 +84 @@
                 "sync\n"
         );
-        
+
         for (unsigned int i = 0; i < 0x00040000; i += 0x00001000) {
                 asm volatile (
@@ -91 +91 @@
                 );
         }
-        
+
         asm volatile (
                 "eieio\n"
@@ -143 +143 @@
 {
         uint32_t sr;
-        
+
         for (sr = 0; sr < 16; sr++) {
                 uint32_t vsid = sr_get(sr << 28);
-                
+
                 printf("sr[%02" PRIu32 "]: vsid=%#0" PRIx32 " (asid=%" PRIu32 ")"
                     "%s%s\n", sr, vsid & UINT32_C(0x00ffffff),
@@ -153 +153 @@
                     ((vsid >> 29) & 1) ? " user" : "");
         }
-        
+
         uint32_t upper;
         uint32_t lower;
         uint32_t mask;
         uint32_t length;
-        
+
         PRINT_BAT("ibat[0]", 528, 529);
         PRINT_BAT("ibat[1]", 530, 531);
         PRINT_BAT("ibat[2]", 532, 533);
         PRINT_BAT("ibat[3]", 534, 535);
-        
+
         PRINT_BAT("dbat[0]", 536, 537);
         PRINT_BAT("dbat[1]", 538, 539);