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

File:

• kernel/arch/mips32/src/mm/frame.c (modified) (14 diffs)

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

@@ -82 +82 @@
         if (frame == (KA2PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH))
                 return false;
-        
+
         /* MSIM device (dkeyboard) */
         if (frame == (KA2PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
@@ -92 +92 @@
                 return false;
 #endif
-        
+
         return true;
 }
@@ -108 +108 @@
         if ((frame << ZERO_PAGE_WIDTH) < KA2PA(config.base))
                 return false;
-        
+
         /* Kernel */
         if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
             KA2PA(config.base), config.kernel_size))
                 return false;
-        
+
         /* Kernel stack */
         if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
             KA2PA(config.stack_base), config.stack_size))
                 return false;
-        
+
         /* Init tasks */
         bool safe = true;
@@ -128 +128 @@
                         break;
                 }
-        
+
         return safe;
 }
@@ -161 +161 @@
                             ZONE_AVAILABLE | ZONE_HIGHMEM);
         }
-        
+
         if (phys_regions_count < MAX_REGIONS) {
                 phys_regions[phys_regions_count].start = first;
@@ -182 +182 @@
 {
         ipl_t ipl = interrupts_disable();
-        
+
         /* Clear and initialize TLB */
         cp0_pagemask_write(ZERO_PAGE_MASK);
@@ -194 +194 @@
                 tlbwi();
         }
-                
+
         pfn_t start_frame = 0;
         pfn_t frame;
         bool avail = true;
-        
+
         /* Walk through all 1 MB frames */
         for (frame = 0; frame < ZERO_FRAMES; frame++) {
@@ -211 +211 @@
                                 tlb_prepare_entry_lo(&lo1, false, false, false, false, 0);
                                 tlb_prepare_entry_hi(&hi, ZERO_PAGE_ASID, ZERO_PAGE_ADDR);
-                                
+
                                 cp0_pagemask_write(ZERO_PAGE_MASK);
                                 cp0_entry_lo0_write(lo0.value);
@@ -218 +218 @@
                                 cp0_index_write(ZERO_PAGE_TLBI);
                                 tlbwi();
-                                
+
                                 ZERO_PAGE_VALUE = 0;
                                 if (ZERO_PAGE_VALUE != 0)
@@ -229 +229 @@
                         }
                 }
-                
+
                 if (!avail) {
                         frame_add_region(start_frame, frame, true);
@@ -236 +236 @@
                 }
         }
-        
+
         frame_add_region(start_frame, frame, true);
-        
+
         /* Blacklist interrupt vector frame */
         frame_mark_unavailable(0, 1);
@@ -267 +267 @@
         frame_mark_unavailable(0, 1024 * 1024 / FRAME_SIZE);
 #endif
-        
+
         /* Cleanup */
         cp0_pagemask_write(ZERO_PAGE_MASK);
@@ -275 +275 @@
         cp0_index_write(ZERO_PAGE_TLBI);
         tlbwi();
-        
+
         interrupts_restore(ipl);
 }
@@ -286 +286 @@
 {
         printf("[base    ] [size    ]\n");
-        
+
         size_t i;
         for (i = 0; i < phys_regions_count; i++) {