Changeset 14 for trunk/kernel/mm

Timestamp:

May 3, 2017, 1:23:24 PM (8 years ago)

Author:

alain

Message:

Bugs fix.

Location:

trunk/kernel/mm

Files:

• kcm.c (modified) (1 diff)
• khm.c (modified) (2 diffs)
• khm.h (modified) (1 diff)
• kmem.c (modified) (1 diff)
• mapper.c (modified) (1 diff)
• page.h (modified) (1 diff)
• ppm.c (modified) (3 diffs)
• vmm.c (modified) (1 diff)

trunk/kernel/mm/kcm.c

@@ -23 +23 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>

trunk/kernel/mm/khm.c

@@ -23 +23 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>
@@ -62 +62 @@
         khm->size    = heap_size;
         khm->next    = (intptr_t)heap_base;
-
-    kinit_dmsg("\n[INFO] %s done in cluster %x at cycle %d\n",
-               __FUNCTION__ , local_cxy , hal_time_stamp() );
 }
 

trunk/kernel/mm/khm.h

@@ -27 +27 @@
 #define _HEAP_MANAGER_H_
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <spinlock.h>

trunk/kernel/mm/kmem.c

@@ -24 +24 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>

trunk/kernel/mm/mapper.c

@@ -23 +23 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>

trunk/kernel/mm/page.h

@@ -26 +26 @@
 #define _PAGE_H_
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <spinlock.h>

trunk/kernel/mm/ppm.c

@@ -23 +23 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>
@@ -159 +159 @@
         }
 
-#if( CONFIG_PPM_DEBUG )
-ppm_print( ppm , "after reset" );
-#endif
-  
     // initialize dirty_list as empty
     list_root_init( &ppm->dirty_root );
@@ -209 +205 @@
     ppm_assert_order( ppm );
 
-    kinit_dmsg("\n[INFO] %s : done in cluster %x at cycle %d\n",
-               __FUNCTION__ , local_cxy , hal_time_stamp() );
-
-#if( CONFIG_PPM_DEBUG )
-ppm_print( ppm , "after init" );
-#endif
-    
 } // end ppm_init()
 

trunk/kernel/mm/vmm.c

@@ -24 +24 @@
  */
 
-#include <almos_config.h>
+#include <kernel_config.h>
 #include <hal_types.h>
 #include <hal_special.h>