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

Timestamp:

Nov 7, 2017, 3:08:12 PM (7 years ago)

Author:

alain

Message:

First implementation of fork/exec.

File:

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

trunk/kernel/mm/ppm.c

@@ -154 +154 @@
         page_t   * pages_tbl   = ppm->pages_tbl;
 
-        assert( !page_is_flag( page , PG_FREE ) , __FUNCTION__ , "page already freed" );
-        assert( !page_is_flag( page , PG_RESERVED ) , __FUNCTION__ , "freeing reserved page" );
+        assert( !page_is_flag( page , PG_FREE ) , __FUNCTION__ , 
+    "page already released : ppn = %x\n" , ppm_page2ppn(XPTR(local_cxy,page)) );
+
+        assert( !page_is_flag( page , PG_RESERVED ) , __FUNCTION__ , 
+    "reserved page : ppn = %x\n" , ppm_page2ppn(XPTR(local_cxy,page)) );
 
         // update released page descriptor flags
@@ -201 +204 @@
         ppm_t    * ppm = &LOCAL_CLUSTER->ppm;
 
-        assert( (order < CONFIG_PPM_MAX_ORDER) , __FUNCTION__ , "illegal order argument" );
+        assert( (order < CONFIG_PPM_MAX_ORDER) , __FUNCTION__ ,
+    "illegal order argument = %x\n" , order );
 
         page_t * block = NULL;  
 
-        ppm_dmsg("\n[DMSG] %s : enters / order = %d\n",
+        ppm_dmsg("\n[DBG] %s : enters / order = %d\n",
                  __FUNCTION__ , order );
 
@@ -256 +260 @@
         spinlock_unlock( &ppm->free_lock );
 
-        ppm_dmsg("\n[DMSG] %s : base = %x / order = %d\n",
+        ppm_dmsg("\n[DBG] %s : base = %x / order = %d\n",
                  __FUNCTION__ , (uint32_t)ppm_page2base( block ) , order );
 
@@ -289 +293 @@
 
         printk("\n***  PPM in cluster %x : %d pages / &pages_tbl = %x / vaddr_base = %x ***\n",
-               local_cxy , ppm->pages_nr , (intptr_t)ppm->pages_tbl , (intptr_t)ppm->vaddr_base );
+    local_cxy , ppm->pages_nr , (intptr_t)ppm->pages_tbl , (intptr_t)ppm->vaddr_base );
 
         for( order = 0 ; order < CONFIG_PPM_MAX_ORDER ; order++ )
@@ -316 +320 @@
         page_t       * page;
 
-        for(order=0; order < CONFIG_PPM_MAX_ORDER; order++)
+        for( order=0 ; order < CONFIG_PPM_MAX_ORDER ; order++ )
         {
                 if( list_is_empty( &ppm->free_pages_root[order] ) ) continue;