Changeset 32e8cd1 in mainline for kernel/arch/sparc32/src/mm/frame.c

Timestamp:

2013-12-28T17:16:44Z (10 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c1023bcb

Parents:

f6f22cdb

Message:

code revision
coding style fixes
removal of debugging printouts and other temporary stuff

File:

• kernel/arch/sparc32/src/mm/frame.c (modified) (5 diffs)

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

@@ -46 +46 @@
         uintptr_t base;
         size_t size;
-
         machine_get_memory_extents(&base, &size);
-
+        
         base = ALIGN_UP(base, FRAME_SIZE);
         size = ALIGN_DOWN(size, FRAME_SIZE);
@@ -54 +53 @@
         if (!frame_adjust_zone_bounds(low, &base, &size))
                 return;
-
+        
         if (low) {
                 zone_create(ADDR2PFN(base), SIZE2FRAMES(size),
                     BOOT_PT_START_FRAME + BOOT_PT_SIZE_FRAMES,
                     ZONE_AVAILABLE | ZONE_LOWMEM);
-
-                printf("low_zone: %d frames\n", SIZE2FRAMES(size));
         } else {
                 pfn_t conf = zone_external_conf_alloc(SIZE2FRAMES(size));
@@ -66 +63 @@
                         zone_create(ADDR2PFN(base), SIZE2FRAMES(size), conf,
                             ZONE_AVAILABLE | ZONE_HIGHMEM);
-
-                printf("high zone: %d frames\n", SIZE2FRAMES(size));
         }
-
-        printf("free: %d\n", frame_total_free_get());
 }
 
 void physmem_print(void)
 {
-
+        // FIXME TODO
 }
 
@@ -82 +75 @@
 {
         frame_common_arch_init(true);
-
-        /* blacklist boot page table */
+        
+        /* Blacklist boot page table */
         frame_mark_unavailable(BOOT_PT_START_FRAME, BOOT_PT_SIZE_FRAMES);
-        printf("free: %d\n", frame_total_free_get());
-        //machine_frame_init();
 }
 
@@ -95 +86 @@
 }
 
-/** Frees the boot page table. */
-/*void boot_page_table_free(void)
-{
-        unsigned int i;
-        for (i = 0; i < BOOT_PT_SIZE_FRAMES; i++)
-                frame_free(i * FRAME_SIZE + BOOT_PT_ADDRESS);
-}*/
-
 /** @}
  */