Changeset 14 for trunk/kernel/mm/ppm.c

Timestamp:

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

Author:

alain

Message:

Bugs fix.

File:

• trunk/kernel/mm/ppm.c (modified) (3 diffs)

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()