Changeset 406 for trunk/kernel/kern

Timestamp:

Aug 29, 2017, 12:03:37 PM (7 years ago)

Author:

alain

Message:

This version executed successfully the user "init" process on a mono-processor TSAR architecture.

Location:

trunk/kernel/kern

Files:

• cluster.c (modified) (7 diffs)
• core.c (modified) (1 diff)
• do_syscall.c (modified) (1 diff)
• dqdt.c (modified) (2 diffs)
• kernel_init.c (modified) (18 diffs)
• printk.c (modified) (2 diffs)
• printk.h (modified) (27 diffs)
• process.c (modified) (14 diffs)
• rpc.c (modified) (104 diffs)
• scheduler.c (modified) (9 diffs)
• signal.c (modified) (2 diffs)
• thread.c (modified) (10 diffs)
• thread.h (modified) (3 diffs)

trunk/kernel/kern/cluster.c

@@ -82 +82 @@
         spinlock_init( &cluster->kcm_lock );
 
-    cluster_dmsg("\n[INFO] %s for cluster %x enters\n",
+    cluster_dmsg("\n[DMSG] %s for cluster %x enters\n",
                  __FUNCTION__ , local_cxy );
 
@@ -102 +102 @@
     }
 
-    cluster_dmsg("\n[INFO] %s : PPM initialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s : PPM initialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 
@@ -108 +108 @@
         khm_init( &cluster->khm );
 
-    cluster_dmsg("\n[INFO] %s : KHM initialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s : KHM initialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 
@@ -114 +114 @@
         kcm_init( &cluster->kcm , KMEM_KCM );
 
-    cluster_dmsg("\n[INFO] %s : KCM initialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s : KCM initialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 
@@ -125 +125 @@
         }
 
-    cluster_dmsg("\n[INFO] %s : cores initialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s : cores initialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 
@@ -132 +132 @@
     cluster->rpc_threads = 0;
 
-    cluster_dmsg("\n[INFO] %s : RPC fifo inialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s : RPC fifo inialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 
@@ -157 +157 @@
     }
 
-    cluster_dmsg("\n[INFO] %s Process Manager initialized in cluster %x at cycle %d\n",
+    cluster_dmsg("\n[DMSG] %s Process Manager initialized in cluster %x at cycle %d\n",
                  __FUNCTION__ , local_cxy , hal_get_cycles() );
 

trunk/kernel/kern/core.c

@@ -113 +113 @@
         if( (ticks % CONFIG_SCHED_TICKS_PER_QUANTUM) == 0 ) sched_yield( NULL );
 
-        // update DQDT TODO  This update should depend on the cluster identifier,
-        // to avoid simultaneous updates from various clusters ... AG
+        // update DQDT 
         if( ((ticks % CONFIG_DQDT_TICKS_PER_QUANTUM) == 0) && (core->lid == 0) )
         dqdt_global_update();

trunk/kernel/kern/do_syscall.c

@@ -116 +116 @@
         }
 
-        syscall_dmsg("\n[INFO] %s : pid = %x / trdid = %x / service #%d\n"
+        syscall_dmsg("\n[DMSG] %s : pid = %x / trdid = %x / service #%d\n"
                  "         arg0 = %x / arg1 = %x / arg2 = %x / arg3 = %x\n",
                          __FUNCTION__ , this->process->pid , this->trdid , service_num ,

trunk/kernel/kern/dqdt.c

@@ -60 +60 @@
         for ( i = 0 ; i < 4 ; i++ )
         {
-            if ( local_node.children[i] != XPTR_NULL ) dqdt_global_print( local_node.children[i] );
+            if ( local_node.children[i] != XPTR_NULL ) 
+                dqdt_global_print( local_node.children[i] );
         }
     }
@@ -70 +71 @@
                     uint32_t y_width )
 {
-    if( (x_size > 32) || (y_size > 32) )
-    {
-        panic("illegal mesh size for DQDT support");
-    }
+    assert( ((x_size <= 32) && (y_size <= 32)) , __FUNCTION__ , "illegal mesh size\n");
 
         dqdt_node_t * node;

trunk/kernel/kern/kernel_init.c

@@ -137 +137 @@
            "    /_/        \\_\\ |______| |_|    |_|   \\_____/  |______/        |_|    |_|  |_|  \\_\\ |_|   |_|  \n"
            "\n\n\t\t Advanced Locality Management Operating System / Multi Kernel Hybrid\n"
-           "\n\n\t\t\t Version 0.0 : %d cluster(s)   /   %d core(s) per cluster\n\n", nclusters , ncores );
+           "\n\n\t\t\t Version 0.0 / %d cluster(s) / %d core(s) per cluster\n\n", nclusters , ncores );
 }
 
@@ -274 +274 @@
 
 #if( CONFIG_KINIT_DEBUG > 1 )
-printk("\n[INFO] %s : created MMC in cluster %x / chdev = %x\n",
+printk("\n[DMSG] %s : created MMC in cluster %x / chdev = %x\n",
 __FUNCTION__ , channel , local_cxy , chdev_ptr );
 #endif
@@ -302 +302 @@
 
 #if( CONFIG_KINIT_DEBUG > 1 )
-printk("\n[INFO] %s : created DMA[%d] in cluster %x / chdev = %x\n",
+printk("\n[DMSG] %s : created DMA[%d] in cluster %x / chdev = %x\n",
 __FUNCTION__ , channel , local_cxy , chdev_ptr );
 #endif
@@ -436 +436 @@
 
 #if( CONFIG_KINIT_DEBUG > 1 )
-printk("\n[INFO] %s : create chdev %s[%d] in cluster %x / chdev = %x\n",
+printk("\n[DMSG] %s : create chdev %s[%d] in cluster %x / chdev = %x\n",
 __FUNCTION__ , chdev_func_str( func ), channel , local_cxy , chdev );
 #endif
@@ -554 +554 @@
 
 #if( CONFIG_KINIT_DEBUG > 1 )
-printk("\n[INFO] %s created PIC chdev in cluster %x at cycle %d\n",
+printk("\n[DMSG] %s created PIC chdev in cluster %x at cycle %d\n",
 __FUNCTION__ , local_cxy , (uint32_t)hal_time_stamp() );
 #endif
@@ -728 +728 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 0 : TXT0 initialized / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 0 : TXT0 initialized / cycle %d\n",
     __FUNCTION__, hal_time_stamp() );
 
@@ -762 +762 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 1 : clusters initialised / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 1 : clusters initialised / cycle %d\n",
     __FUNCTION__, hal_time_stamp() );
 
@@ -787 +787 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 2 : PIC initialised / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 2 : PIC initialised / cycle %d\n",
     __FUNCTION__, hal_time_stamp() );
 
@@ -818 +818 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 3 : all chdev initialised / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 3 : all chdev initialised / cycle %d\n",
                __FUNCTION__, hal_time_stamp());
 
@@ -829 +829 @@
     /////////////////////////////////////////////////////////////////////////////////
 
-#if( CONFIG_KINIT_DEBUG > 1 )
+#if CONFIG_KINIT_DEBUG 
 chdev_dir_display();
 #endif
@@ -856 +856 @@
     core->scheduler.idle = thread;
 
-#if( CONFIG_KINIT_DEBUG > 1 )
+#if CONFIG_KINIT_DEBUG
 sched_display();
 #endif
@@ -928 +928 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 4 : VFS_root = %l in cluster 0 / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 4 : VFS_root = %l in cluster 0 / cycle %d\n",
                __FUNCTION__, vfs_root_inode_xp , hal_time_stamp());
 
@@ -987 +987 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 5 : VFS_root = %l in cluster IO / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 5 : VFS_root = %l in cluster IO / cycle %d\n",
     __FUNCTION__, vfs_root_inode_xp , hal_time_stamp() );
 
@@ -1020 +1020 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 6 : dev_root = %l in cluster IO / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 6 : dev_root = %l in cluster IO / cycle %d\n",
     __FUNCTION__, devfs_dev_inode_xp , hal_time_stamp() );
 
@@ -1057 +1057 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 7 : dev_root = %l in cluster 0 / cycle %d\n",
+    printk("\n[KINIT] %s : exit barrier 7 : dev_root = %l in cluster 0 / cycle %d\n",
     __FUNCTION__, devfs_dev_inode_xp , hal_time_stamp() );
 
@@ -1076 +1076 @@
 
     if( (core_lid ==  0) && (local_cxy == 0) ) 
-    kinit_dmsg("\n[INFO] %s : exit barrier 8 : process init created / cycle %d\n", 
+    printk("\n[KINIT] %s : exit barrier 8 : process init created / cycle %d\n", 
     __FUNCTION__ , hal_time_stamp() );
 
@@ -1087 +1087 @@
         print_banner( (info->x_size * info->y_size) , info->cores_nr );
 
+#if CONFIG_KINIT_DEBUG
+
         vfs_display( vfs_root_inode_xp );
-        
-        kinit_dmsg("\n\n***** memory fooprint for main kernel objects\n\n"
+
+        printk("\n\n***** memory fooprint for main kernel objects\n\n"
                    " - thread descriptor  : %d bytes\n"
                    " - process descriptor : %d bytes\n"
@@ -1130 +1132 @@
                    sizeof( rwlock_t          ),
                    sizeof( remote_rwlock_t   ));
+#endif
+
     }
 

trunk/kernel/kern/printk.c

@@ -327 +327 @@
             case ('l'):            /* 64 bits hexadecimal unsigned */
             {
-                uint64_t val = va_arg( *args , uint64_t );
+                unsigned long long val = va_arg( *args , unsigned long long );
                 txt_write( channel, busy, "0x" , 2 );
                 for(i = 0; i < 16; i++) 
@@ -340 +340 @@
             case ('L'):           /* 64 bits hexadecimal unsigned on 18 char */ 
             {
-                uint64_t val = va_arg( *args , uint64_t );
+                unsigned long long val = va_arg( *args , unsigned long long );
                 txt_write( channel, busy, "0x" , 2 );
                 for(i = 0; i < 16; i++) 

trunk/kernel/kern/printk.h

@@ -109 +109 @@
 
 #if CONFIG_CLUSTER_DEBUG
-#define cluster_dmsg(...)   printk(__VA_ARGS__)
+#define cluster_dmsg(...)   if(hal_time_stamp() > CONFIG_CLUSTER_DEBUG) printk(__VA_ARGS__)
 #else
 #define cluster_dmsg(...)
@@ -115 +115 @@
 
 #if CONFIG_CONTEXT_DEBUG
-#define context_dmsg(...)   printk(__VA_ARGS__)
+#define context_dmsg(...)   if(hal_time_stamp() > CONFIG_CONTEXT_DEBUG) printk(__VA_ARGS__)
 #else
 #define context_dmsg(...)
@@ -121 +121 @@
 
 #if CONFIG_CORE_DEBUG
-#define core_dmsg(...)   printk(__VA_ARGS__)
+#define core_dmsg(...)   if(hal_time_stamp() > CONFIG_CORE_DEBUG) printk(__VA_ARGS__)
 #else
 #define core_dmsg(...)
@@ -127 +127 @@
 
 #if CONFIG_DEVFS_DEBUG
-#define devfs_dmsg(...)   printk(__VA_ARGS__)
+#define devfs_dmsg(...)   if(hal_time_stamp() > CONFIG_DEVFS_DEBUG) printk(__VA_ARGS__)
 #else
 #define devfs_dmsg(...)
@@ -133 +133 @@
 
 #if CONFIG_DMA_DEBUG
-#define dma_dmsg(...)   printk(__VA_ARGS__)
+#define dma_dmsg(...)   if(hal_time_stamp() > CONFIG_DMA_DEBUG) printk(__VA_ARGS__)
 #else
 #define dma_dmsg(...)
@@ -139 +139 @@
 
 #if CONFIG_DQDT_DEBUG
-#define dma_dmsg(...)   printk(__VA_ARGS__)
-#else
-#define dma_dmsg(...)
-#endif
-
-#if CONFIG_DQDT_DEBUG
-#define dqdt_dmsg(...)   printk(__VA_ARGS__)
+#define dqdt_dmsg(...)   if(hal_time_stamp() > CONFIG_DQDT_DEBUG) printk(__VA_ARGS__)
 #else
 #define dqdt_dmsg(...)
@@ -151 +145 @@
 
 #if CONFIG_ELF_DEBUG
-#define elf_dmsg(...)   printk(__VA_ARGS__)
+#define elf_dmsg(...)   if(hal_time_stamp() > CONFIG_ELF_DEBUG) printk(__VA_ARGS__)
 #else
 #define elf_dmsg(...)
@@ -157 +151 @@
 
 #if CONFIG_EXEC_DEBUG
-#define exec_dmsg(...)   printk(__VA_ARGS__)
+#define exec_dmsg(...)   if(hal_time_stamp() > CONFIG_EXEC_DEBUG) printk(__VA_ARGS__)
 #else
 #define exec_dmsg(...)
 #endif
 
+#if CONFIG_EXCP_DEBUG
+#define excp_dmsg(...)   if(hal_time_stamp() > CONFIG_EXCP_DEBUG) printk(__VA_ARGS__)
+#else
+#define excp_dmsg(...)
+#endif
+
 #if CONFIG_FATFS_DEBUG
-#define fatfs_dmsg(...)   printk(__VA_ARGS__)
+#define fatfs_dmsg(...)   if(hal_time_stamp() > CONFIG_FATFS_DEBUG) printk(__VA_ARGS__)
 #else
 #define fatfs_dmsg(...)
@@ -169 +169 @@
 
 #if CONFIG_FBF_DEBUG
-#define fbf_dmsg(...)   printk(__VA_ARGS__)
+#define fbf_dmsg(...)   if(hal_time_stamp() > CONFIG_FBF_DEBUG) printk(__VA_ARGS__)
 #else
 #define fbf_dmsg(...)
@@ -175 +175 @@
 
 #if CONFIG_FORK_DEBUG
-#define fork_dmsg(...)   printk(__VA_ARGS__)
+#define fork_dmsg(...)   if(hal_time_stamp() > CONFIG_FORK_DEBUG) printk(__VA_ARGS__)
 #else
 #define fork_dmsg(...)
 #endif
 
+#if CONFIG_GPT_DEBUG
+#define gpt_dmsg(...)   if(hal_time_stamp() > CONFIG_GPT_DEBUG) printk(__VA_ARGS__)
+#else
+#define gpt_dmsg(...)
+#endif
+
 #if CONFIG_IDLE_DEBUG
-#define idle_dmsg(...) printk(__VA_ARGS__)
+#define idle_dmsg(...)   if(hal_time_stamp() > CONFIG_IDLE_DEBUG) printk(__VA_ARGS__)
 #else
 #define idle_dmsg(...)
@@ -193 +199 @@
 
 #if CONFIG_IRQ_DEBUG
-#define irq_dmsg(...)   printk(__VA_ARGS__)
+#define irq_dmsg(...)   if(hal_time_stamp() > CONFIG_IRQ_DEBUG) printk(__VA_ARGS__)
 #else
 #define irq_dmsg(...)
@@ -199 +205 @@
 
 #if CONFIG_KCM_DEBUG
-#define kcm_dmsg(...) printk(__VA_ARGS__)
+#define kcm_dmsg(...)   if(hal_time_stamp() > CONFIG_KCM_DEBUG) printk(__VA_ARGS__)
 #else
 #define kcm_dmsg(...)
@@ -205 +211 @@
 
 #if CONFIG_KHM_DEBUG
-#define khm_dmsg(...) printk(__VA_ARGS__)
+#define khm_dmsg(...)   if(hal_time_stamp() > CONFIG_KHM_DEBUG) printk(__VA_ARGS__)
 #else
 #define khm_dmsg(...)
@@ -211 +217 @@
 
 #if CONFIG_KINIT_DEBUG
-#define kinit_dmsg(...) printk(__VA_ARGS__)
+#define kinit_dmsg(...)   if(hal_time_stamp() > CONFIG_KINIT_DEBUG) printk(__VA_ARGS__)
 #else
 #define kinit_dmsg(...)
@@ -217 +223 @@
 
 #if CONFIG_KMEM_DEBUG
-#define kmem_dmsg(...) printk(__VA_ARGS__)
+#define kmem_dmsg(...)   if(hal_time_stamp() > CONFIG_KMEM_DEBUG) printk(__VA_ARGS__)
 #else
 #define kmem_dmsg(...)
@@ -223 +229 @@
 
 #if CONFIG_MAPPER_DEBUG
-#define mapper_dmsg(...)   printk(__VA_ARGS__)
+#define mapper_dmsg(...)   if(hal_time_stamp() > CONFIG_MAPPER_DEBUG) printk(__VA_ARGS__)
 #else
 #define mapper_dmsg(...)
@@ -229 +235 @@
 
 #if CONFIG_MMC_DEBUG
-#define mmc_dmsg(...)   printk(__VA_ARGS__)
+#define mmc_dmsg(...)   if(hal_time_stamp() > CONFIG_MMC_DEBUG) printk(__VA_ARGS__)
 #else
 #define mmc_dmsg(...)
@@ -235 +241 @@
 
 #if CONFIG_NIC_DEBUG
-#define nic_dmsg(...)   printk(__VA_ARGS__)
+#define nic_dmsg(...)   if(hal_time_stamp() > CONFIG_NIC_DEBUG) printk(__VA_ARGS__)
 #else
 #define nic_dmsg(...)
@@ -241 +247 @@
 
 #if CONFIG_PIC_DEBUG
-#define pic_dmsg(...)   printk(__VA_ARGS__)
+#define pic_dmsg(...)   if(hal_time_stamp() > CONFIG_PIC_DEBUG) printk(__VA_ARGS__)
 #else
 #define pic_dmsg(...)
@@ -247 +253 @@
 
 #if CONFIG_PPM_DEBUG
-#define ppm_dmsg(...)   printk(__VA_ARGS__)
+#define ppm_dmsg(...)   if(hal_time_stamp() > CONFIG_PPM_DEBUG) printk(__VA_ARGS__)
 #else
 #define ppm_dmsg(...)
@@ -253 +259 @@
 
 #if CONFIG_PROCESS_DEBUG
-#define process_dmsg(...)   printk(__VA_ARGS__)
+#define process_dmsg(...)   if(hal_time_stamp() > CONFIG_PROCESS_DEBUG) printk(__VA_ARGS__)
 #else
 #define process_dmsg(...)
@@ -264 +270 @@
 #endif
 
-#if CONFIG_RPCG_DEBUG
-#define rpcg_dmsg(...)   printk(__VA_ARGS__)
-#else
-#define rpcg_dmsg(...)
-#endif
-
 #if CONFIG_SCHED_DEBUG
-#define sched_dmsg(...)   printk(__VA_ARGS__)
+#define sched_dmsg(...)   if(hal_time_stamp() > CONFIG_SCHED_DEBUG) printk(__VA_ARGS__)
 #else
 #define sched_dmsg(...)
@@ -277 +277 @@
 
 #if CONFIG_SIGNAL_DEBUG
-#define signal_dmsg(...)   printk(__VA_ARGS__)
+#define signal_dmsg(...)   if(hal_time_stamp() > CONFIG_SIGNAL_DEBUG) printk(__VA_ARGS__)
 #else
 #define signal_dmsg(...)
@@ -283 +283 @@
 
 #if CONFIG_SYSCALL_DEBUG
-#define syscall_dmsg(...)   printk(__VA_ARGS__)
+#define syscall_dmsg(...)   if(hal_time_stamp() > CONFIG_SYSCALL_DEBUG) printk(__VA_ARGS__)
 #else
 #define syscall_dmsg(...)
@@ -289 +289 @@
 
 #if CONFIG_THREAD_DEBUG
-#define thread_dmsg(...)   printk(__VA_ARGS__)
+#define thread_dmsg(...)   if(hal_time_stamp() > CONFIG_THREAD_DEBUG) printk(__VA_ARGS__)
 #else
 #define thread_dmsg(...)
@@ -295 +295 @@
 
 #if CONFIG_TXT_DEBUG
-#define txt_dmsg(...)   printk(__VA_ARGS__)
+#define txt_dmsg(...)   if(hal_time_stamp() > CONFIG_TXT_DEBUG) printk(__VA_ARGS__)
 #else
 #define txt_dmsg(...)
@@ -307 +307 @@
 
 #if CONFIG_VMM_DEBUG
-#define vmm_dmsg(...)   printk(__VA_ARGS__)
+#define vmm_dmsg(...)   if(hal_time_stamp() > CONFIG_VMM_DEBUG) printk(__VA_ARGS__)
 #else
 #define vmm_dmsg(...)

trunk/kernel/kern/process.c

@@ -90 +90 @@
     pid_t       parent_pid;
 
-    process_dmsg("\n[INFO] %s : enters for process %x in cluster %x\n",
-                 __FUNCTION__ , pid , local_cxy );
+    process_dmsg("\n[DMSG] %s : core[%x,%d] enters for process %x\n",
+    __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , pid );
 
     // get parent process cluster, local pointer, and pid
@@ -116 +116 @@
     process->ppid  = parent_pid;
 
-    // reset reference process vmm (not for kernel process)
+    // initialize reference process vmm (not for kernel process)
     if( pid ) vmm_init( process );
 
@@ -169 +169 @@
         hal_fence();
 
-    process_dmsg("\n[INFO] %s : exit for process %x in cluster %x\n",
+    process_dmsg("\n[DMSG] %s : exit for process %x in cluster %x\n",
                  __FUNCTION__ , pid );
 
@@ -198 +198 @@
     local_process->ref_xp = reference_process_xp;
 
-    process_dmsg("\n[INFO] %s : enter for process %x in cluster %x\n",
+    process_dmsg("\n[DMSG] %s : enter for process %x in cluster %x\n",
                  __FUNCTION__ , local_process->pid );
 
@@ -233 +233 @@
         hal_fence();
 
-    process_dmsg("\n[INFO] %s : exit for process %x in cluster %x\n",
+    process_dmsg("\n[DMSG] %s : exit for process %x in cluster %x\n",
                  __FUNCTION__ , local_process->pid );
 
@@ -288 +288 @@
     vmm_destroy( process );
 
-        process_dmsg("\n[INFO] %s for pid %d / page_faults = %d\n",
+        process_dmsg("\n[DMSG] %s for pid %d / page_faults = %d\n",
                  __FUNCTION__ , process->pid, process->vmm.pgfault_nr );
 }
@@ -627 +627 @@
     parent_pid = hal_remote_lw( XPTR( parent_cxy , &parent_ptr->pid ) );
 
-    exec_dmsg("\n[INFO] %s : thread %x on core[%x,%d] enters for path = %s\n",
+    exec_dmsg("\n[DMSG] %s : thread %x on core[%x,%d] enters for path = %s\n",
     __FUNCTION__, CURRENT_THREAD->trdid, local_cxy, CURRENT_THREAD->core->lid , path );
 
@@ -654 +654 @@
     process_reference_init( process , pid , parent_xp );
 
-    exec_dmsg("\n[INFO] %s : thread %x on core[%x,%d] created process %x / path = %s\n",
+    exec_dmsg("\n[DMSG] %s : thread %x on core[%x,%d] created process %x / path = %s\n",
     __FUNCTION__, CURRENT_THREAD->trdid, local_cxy, CURRENT_THREAD->core->lid, pid, path );
 
@@ -670 +670 @@
                             XPTR( parent_cxy , &parent_ptr->fd_array) );
 
-    exec_dmsg("\n[INFO] %s : fd_array copied from process %x to process %x\n",
+    exec_dmsg("\n[DMSG] %s : fd_array copied from process %x to process %x\n",
     __FUNCTION__, parent_pid , pid );
 
@@ -688 +688 @@
         }
 
-    exec_dmsg("\n[INFO] %s : code and data vsegs registered for process %x / path = %s\n",
+    exec_dmsg("\n[DMSG] %s : code and data vsegs registered for process %x / path = %s\n",
     __FUNCTION__ , pid , path );
 
@@ -714 +714 @@
         }
 
-        exec_dmsg("\n[INFO] %s : thread created for process %x on core %d in cluster %x\n",
+        exec_dmsg("\n[DMSG] %s : thread created for process %x on core %d in cluster %x\n",
                __FUNCTION__ , pid , core->lid , local_cxy );
+
+#if CONFIG_EXEC_DEBUG
+if( hal_time_stamp() > CONFIG_EXEC_DEBUG )
+{
+    grdxt_print( &process->vmm.grdxt , GRDXT_TYPE_VSEG , process->pid );
+    hal_gpt_print( &process->vmm.gpt , process->pid ); 
+}
+#endif
 
     // update children list in parent process
@@ -725 +733 @@
         thread_unblock( XPTR( local_cxy , thread ) , THREAD_BLOCKED_GLOBAL );
 
-    exec_dmsg("\n[INFO] %s : exit for process %x\n",
+    exec_dmsg("\n[DMSG] %s : exit for process %x\n",
                 __FUNCTION__, process->pid );
 
@@ -747 +755 @@
     uint32_t  stderr_id;
 
-        process_dmsg("\n[INFO] %s : enters in cluster %x\n", __FUNCTION__ , local_cxy );
+        process_dmsg("\n[DMSG] %s : enters in cluster %x\n", __FUNCTION__ , local_cxy );
 
     // open stdin / stdout / stderr pseudo-files
@@ -771 +779 @@
         assert( (error1 == 0) , __FUNCTION__ , "cannot create process_init\n");
 
-        process_dmsg("\n[INFO] %s : exit in cluster %x\n", __FUNCTION__ , local_cxy );
+        process_dmsg("\n[DMSG] %s : exit in cluster %x\n", __FUNCTION__ , local_cxy );
                 
     hal_fence();

trunk/kernel/kern/rpc.c

@@ -97 +97 @@
                                 page_t  ** page )      // out 
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -117 +117 @@
     *page    = (page_t *)(intptr_t)rpc.args[1];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -125 +125 @@
 void rpc_pmem_get_pages_server( xptr_t xp )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -142 +142 @@
     hal_remote_swd( XPTR( cxy , &desc->args[1] ) , (uint64_t)(intptr_t)page );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -157 +157 @@
                                    pid_t     * pid )     // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -178 +178 @@
     *error  = (error_t)rpc.args[2];     
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -190 +190 @@
     pid_t       pid;       // output : process identifier
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -209 +209 @@
     hal_remote_sw( XPTR( client_cxy , &desc->args[1] ) , (uint64_t)pid );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -224 +224 @@
                               error_t     * error )   // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -244 +244 @@
     *error  = (error_t)rpc.args[1];     
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -256 +256 @@
     error_t       error;     // local error error status
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -278 +278 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[1] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -291 +291 @@
 void rpc_process_kill_client( process_t * process ) 
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -325 +325 @@
     }
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -336 +336 @@
     process_t * process;  
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -360 +360 @@
     }
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -379 +379 @@
                                     error_t        * error )      // out 
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -403 +403 @@
     *error     = (error_t)rpc.args[5];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -421 +421 @@
     error_t          error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -456 +456 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[2] ) , (uint64_t)thread_xp );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -473 +473 @@
                                       error_t * error )      // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -496 +496 @@
     *error     = (error_t)rpc.args[4];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -509 +509 @@
     error_t          error;    
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -533 +533 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[2] ) , (uint64_t)thread_xp );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -547 +547 @@
                              uint32_t    sig_id )    // in
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -565 +565 @@
     rpc_send_sync( cxy , &rpc );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -576 +576 @@
     uint32_t     sig_id;   // signal index
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -591 +591 @@
     signal_rise( process , sig_id );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -613 +613 @@
                                   error_t      * error )     // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -641 +641 @@
     *error    = (error_t)rpc.args[9];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -660 +660 @@
     error_t          error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -693 +693 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[9] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -706 +706 @@
                                    struct vfs_inode_s * inode )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -723 +723 @@
     rpc_send_sync( cxy , &rpc );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -733 +733 @@
     vfs_inode_t * inode;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -747 +747 @@
     vfs_inode_destroy( inode );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -764 +764 @@
                                    error_t              * error )       // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -787 +787 @@
     *error     = (error_t)rpc.args[4];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -803 +803 @@
     char          name_copy[CONFIG_VFS_MAX_NAME_LENGTH];
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -829 +829 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[4] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -843 +843 @@
                                     vfs_dentry_t * dentry )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -860 +860 @@
     rpc_send_sync( cxy , &rpc );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -870 +870 @@
     vfs_dentry_t * dentry;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -884 +884 @@
     vfs_dentry_destroy( dentry );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -901 +901 @@
                                  error_t              * error )      // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -923 +923 @@
     *error   = (error_t)rpc.args[3];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -936 +936 @@
     error_t       error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -957 +957 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[3] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -970 +970 @@
                                   vfs_file_t * file )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -987 +987 @@
     rpc_send_sync( cxy , &rpc );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -997 +997 @@
     vfs_file_t * file;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1011 +1011 @@
     vfs_file_destroy( file );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1027 +1027 @@
                                 error_t     * error )          // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1049 +1049 @@
     *error   = (error_t)rpc.args[3];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1064 +1064 @@
     char          name_copy[CONFIG_VFS_MAX_NAME_LENGTH];
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1087 +1087 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[3] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1101 +1101 @@
                                      error_t     * error )     // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1121 +1121 @@
     *error   = (error_t)rpc.args[1];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1132 +1132 @@
     vfs_inode_t * inode;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1149 +1149 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[1] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1166 +1166 @@
                                    error_t  * error )    // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1189 +1189 @@
     *error   = (error_t)rpc.args[4];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1203 +1203 @@
     error_t       error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1223 +1223 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[4] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1239 +1239 @@
                               error_t   * error )      // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1261 +1261 @@
     *error   = (error_t)rpc.args[3];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1275 +1275 @@
     error_t       error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1295 +1295 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[3] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1313 +1313 @@
                              error_t   * error )   // out 
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1336 +1336 @@
     *error = (error_t)rpc.args[4];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1350 +1350 @@
     error_t       error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1370 +1370 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[4] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1384 +1384 @@
                            xptr_t *   buf_xp )     // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1404 +1404 @@
     *buf_xp = (xptr_t)rpc.args[1];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1412 +1412 @@
 void rpc_kcm_alloc_server( xptr_t xp )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1433 +1433 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[1] ) , (uint64_t)buf_xp );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1447 +1447 @@
                           uint32_t   kmem_type )   // in
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1465 +1465 @@
     rpc_send_sync( cxy , &rpc );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1473 +1473 @@
 void rpc_kcm_free_server( xptr_t xp )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1491 +1491 @@
     kmem_free( &req );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1510 +1510 @@
                                     error_t  * error )        // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1535 +1535 @@
     *error     = (error_t)rpc.args[6];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1552 +1552 @@
     error_t    error;
 
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1592 +1592 @@
     hal_remote_swd( XPTR( client_cxy , &desc->args[6] ) , (uint64_t)error );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1607 +1607 @@
                                  page_t         ** page )      // out
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1628 +1628 @@
     *page = (page_t *)(intptr_t)rpc.args[2];
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1636 +1636 @@
 void rpc_mapper_get_page_server( xptr_t xp )
 {
-    rpc_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1654 +1654 @@
     hal_remote_swd( XPTR( cxy , &desc->args[1] ) , (uint64_t)(intptr_t)page );
 
-    rpc_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , CURRENT_THREAD->trdid , local_cxy, 
     CURRENT_THREAD->core->lid , hal_time_stamp() );
@@ -1673 +1673 @@
     reg_t      sr_save;
 
-    rpcg_dmsg("\n[INFO] %s : enter / client_cxy = %x / server_cxy = %x / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / client_cxy = %x / server_cxy = %x / cycle %d\n",
     __FUNCTION__ , local_cxy , server_cxy , hal_time_stamp() );
 
@@ -1700 +1700 @@
     while( error );
  
-    rpcg_dmsg("\n[INFO] %s : RPC %l registered / server_cxy = %x / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : RPC %l registered / server_cxy = %x / cycle %d\n",
     __FUNCTION__ , desc_xp , server_cxy , hal_time_stamp() );
         
@@ -1714 +1714 @@
                     dev_pic_send_ipi( server_cxy , 0 );
 
-                    rpcg_dmsg("\n[INFO] %s : IPI sent / client_cxy = %x / server_cxy = %x\n",
+                    rpc_dmsg("\n[DMSG] %s : IPI sent / client_cxy = %x / server_cxy = %x\n",
             __FUNCTION__, local_cxy , server_cxy );
         }
@@ -1729 +1729 @@
         hal_restore_irq( sr_save );
 
-    rpcg_dmsg("\n[INFO] %s : completed / client_cxy = %x / server_cxy = %x / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : completed / client_cxy = %x / server_cxy = %x / cycle %d\n",
     __FUNCTION__ , local_cxy , server_cxy , hal_time_stamp() );
 
@@ -1764 +1764 @@
         count = 0;
 
-    rpcg_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
     __FUNCTION__, this->trdid, local_cxy, core->lid , hal_time_stamp() );
  
@@ -1781 +1781 @@
                 index = hal_remote_lw( XPTR( client_cxy , &desc->index ) );
 
-            rpcg_dmsg("\n[INFO] %s : thread %x on core [%x,%d] / rpc = %d\n",
+            rpc_dmsg("\n[DMSG] %s : thread %x on core [%x,%d] / rpc = %d\n",
                      __FUNCTION__ , this->trdid , core->lid , local_cxy , index );
 
@@ -1850 +1850 @@
         thread->blocked = 0;
 
-        rpcg_dmsg("\n[INFO] %s : activate RPC thread %x on core [%x,%d] / cycle %d\n", 
+        rpc_dmsg("\n[DMSG] %s : activate RPC thread %x on core [%x,%d] / cycle %d\n", 
                           __FUNCTION__ , thread , core->gid , local_cxy , hal_time_stamp() );
     }
@@ -1875 +1875 @@
             hal_atomic_add( &LOCAL_CLUSTER->rpc_threads , 1 );
 
-        rpcg_dmsg("\n[INFO] %s : create RPC thread %x on core [%x,%d] / cycle %d\n", 
+        rpc_dmsg("\n[DMSG] %s : create RPC thread %x on core [%x,%d] / cycle %d\n", 
                           __FUNCTION__ , thread->trdid, local_cxy, core->lid, hal_time_stamp() );
     }
@@ -1900 +1900 @@
     error_t      error;
 
-    rpcg_dmsg("\n[INFO] %s : enter / thread %x / cluster %x / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x / cluster %x / cycle %d\n",
              __FUNCTION__ , this->trdid , local_cxy , hal_time_stamp() );
 
@@ -1906 +1906 @@
         if( (rpc_fifo->owner != 0) || (local_fifo_is_empty( &rpc_fifo->fifo )) )
     {
-        rpcg_dmsg("\n[INFO] %s : exit do nothing / thread %x / cluster %x / cycle %d\n",
+        rpc_dmsg("\n[DMSG] %s : exit do nothing / thread %x / cluster %x / cycle %d\n",
                  __FUNCTION__ , this->trdid , local_cxy , hal_time_stamp() );
 
@@ -1926 +1926 @@
         }
 
-        rpcg_dmsg("\n[INFO] %s : exit after RPC thread activation / "
+        rpc_dmsg("\n[DMSG] %s : exit after RPC thread activation / "
                  "thread %x / cluster %x / cycle %d\n",
                  __FUNCTION__ , this->trdid , local_cxy , hal_time_stamp() );
@@ -1934 +1934 @@
     else  // light lock taken by another thread
     {
-        rpcg_dmsg("\n[INFO] %s : exit do nothing / thread %x / cluster %x / cycle %d\n",
+        rpc_dmsg("\n[DMSG] %s : exit do nothing / thread %x / cluster %x / cycle %d\n",
                  __FUNCTION__ , this->trdid , local_cxy , hal_time_stamp() );
 
@@ -1951 +1951 @@
         rpc_fifo_t * rpc_fifo = &LOCAL_CLUSTER->rpc_fifo;
 
-    rpcg_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
+    rpc_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d] / cycle %d\n",
              __FUNCTION__, this->trdid, local_cxy, this->core->lid, hal_time_stamp() );
 
@@ -1975 +1975 @@
                 if( LOCAL_CLUSTER->rpc_threads >= CONFIG_RPC_THREADS_MAX ) 
                 {
-            rpcg_dmsg("\n[INFO] %s : RPC thread %x on core[%x,%d] suicide / cycle %d\n", 
+            rpc_dmsg("\n[DMSG] %s : RPC thread %x on core[%x,%d] suicide / cycle %d\n", 
                     __FUNCTION__, this->trdid, local_cxy, this->core->lid, hal_time_stamp() );
 
@@ -1986 +1986 @@
         else
         {
-            rpcg_dmsg("\n[INFO] %s : RPC thread %x on core[%x,%d] blocks / cycle %d\n", 
+            rpc_dmsg("\n[DMSG] %s : RPC thread %x on core[%x,%d] blocks / cycle %d\n", 
                         __FUNCTION__, this->trdid, local_cxy, this->core->lid, hal_time_stamp() ); 
 
@@ -1992 +1992 @@
             sched_yield( NULL );
 
-                    rpcg_dmsg("\n[INFO] %s : RPC thread %x wake up on core[%x,%d] / cycle %d\n", 
+                    rpc_dmsg("\n[DMSG] %s : RPC thread %x wake up on core[%x,%d] / cycle %d\n", 
                 __FUNCTION__, this->trdid, local_cxy, this->core->lid, hal_time_stamp() );
         }

trunk/kernel/kern/scheduler.c

@@ -154 +154 @@
     scheduler_t * sched = &core->scheduler;
 
-    sched_dmsg("\n[INFO] %s : enter core[%x,%d] / cycle %d\n",
+    sched_dmsg("\n[DMSG] %s : enter core[%x,%d] / cycle %d\n",
     __FUNCTION__ , local_cxy , core->lid , hal_time_stamp() );
 
@@ -185 +185 @@
                 spinlock_unlock( &sched->lock );
 
-                sched_dmsg("\n[INFO] %s : exit core[%x,%d] / k_thread = %x / cycle %d\n",
+                sched_dmsg("\n[DMSG] %s : exit core[%x,%d] / k_thread = %x / cycle %d\n",
                 __FUNCTION__ , local_cxy , core->lid , thread->trdid , hal_time_stamp() );
 
@@ -216 +216 @@
                 spinlock_unlock( &sched->lock );
 
-                sched_dmsg("\n[INFO] %s : exit core[%x,%d] / u_thread = %x / cycle %d\n",
+                sched_dmsg("\n[DMSG] %s : exit core[%x,%d] / u_thread = %x / cycle %d\n",
                 __FUNCTION__ , local_cxy , core->lid , thread->trdid , hal_time_stamp() );
                 return thread;
@@ -227 +227 @@
     spinlock_unlock( &sched->lock );
 
-    sched_dmsg("\n[INFO] %s : exit core[%x,%d] / idle = %x / cycle %d\n",
+    sched_dmsg("\n[DMSG] %s : exit core[%x,%d] / idle = %x / cycle %d\n",
     __FUNCTION__ , local_cxy , core->lid , sched->idle->trdid , hal_time_stamp() );
 
@@ -242 +242 @@
     scheduler_t  * sched = &core->scheduler;
 
-    sched_dmsg("\n[INFO] %s : enter / thread %x on core[%x,%d]\n",
+    sched_dmsg("\n[DMSG] %s : enter / thread %x on core[%x,%d]\n",
     __FUNCTION__, CURRENT_THREAD->trdid , local_cxy , core->lid );
 
@@ -265 +265 @@
     spinlock_unlock( &sched->lock );
 
-    sched_dmsg("\n[INFO] %s : exit / thread %x on core[%x,%d]\n",
+    sched_dmsg("\n[DMSG] %s : exit / thread %x on core[%x,%d]\n",
     __FUNCTION__, CURRENT_THREAD->trdid , local_cxy , core->lid );
 
@@ -279 +279 @@
     scheduler_t * sched   = &core->scheduler;
 
-    sched_dmsg("\n[INFO] %s : thread %x on core[%x,%d] enter / cycle %d\n",
+    sched_dmsg("\n[DMSG] %s : thread %x on core[%x,%d] enter / cycle %d\n",
     __FUNCTION__, current->trdid, local_cxy, core->lid, hal_time_stamp() );
 
@@ -304 +304 @@
         if( next != current )
     {
-        sched_dmsg("\n[INFO] %s : trd %x (%s) on core[%x,%d] => trd %x (%s) / cycle %d\n",
+        sched_dmsg("\n[DMSG] %s : trd %x (%s) on core[%x,%d] => trd %x (%s) / cycle %d\n",
         __FUNCTION__, current->trdid, thread_type_str(current->type), local_cxy, core->lid, 
         next->trdid, thread_type_str(next->type), hal_time_stamp() );
@@ -331 +331 @@
     else
     {
-        sched_dmsg("\n[INFO] %s : thread %x on core[%x,%d] continue / cycle %d\n",
+        sched_dmsg("\n[DMSG] %s : thread %x on core[%x,%d] continue / cycle %d\n",
         __FUNCTION__, current->trdid, local_cxy, core->lid, hal_time_stamp() );
     }

trunk/kernel/kern/signal.c

@@ -44 +44 @@
                 hal_atomic_or( &thread->signals , (1 << sig_id) );
 
-        signal_dmsg("\n[INFO] %s : thread %x in process %x received signal %d\n",
+        signal_dmsg("\n[DMSG] %s : thread %x in process %x received signal %d\n",
                     __FUNCTION__, thread->trdid , process->pid , sig_id );
         }
@@ -59 +59 @@
         thread_s * this = CURRENT_THREAD;
 
-        printk("\n[INFO] %s : threadReceived signal %d, pid %d, tid %x, core %d  [ KILLED ]\n",
+        printk("\n[DMSG] %s : threadReceived signal %d, pid %d, tid %x, core %d  [ KILLED ]\n",
                sig,
                this->process->pid,

trunk/kernel/kern/thread.c

@@ -221 +221 @@
     vseg_t       * vseg;         // stack vseg
 
-    thread_dmsg("\n[INFO] %s : enters for process %x\n", __FUNCTION__ , pid );
+    thread_dmsg("\n[DMSG] %s : enters for process %x\n", __FUNCTION__ , pid );
 
     // get process descriptor local copy
@@ -311 +311 @@
     }
 
-    thread_dmsg("\n[INFO] %s : exit / trdid = %x / process %x / core = %d\n",
+    thread_dmsg("\n[DMSG] %s : exit / trdid = %x / process %x / core = %d\n",
                 __FUNCTION__ , thread->trdid , process->pid , core_lid );
 
@@ -328 +328 @@
         vseg_t       * vseg;         // stack vseg
 
-    thread_dmsg("\n[INFO] %s : enters\n", __FUNCTION__ );
+    thread_dmsg("\n[DMSG] %s : enters\n", __FUNCTION__ );
 
     // allocate a stack from local VMM
@@ -398 +398 @@
     }
 
-    thread_dmsg("\n[INFO] %s : exit / thread %x for process %x on core %d in cluster %x\n",
+    thread_dmsg("\n[DMSG] %s : exit / thread %x for process %x on core %d in cluster %x\n",
                  __FUNCTION__, thread->trdid, process->pid, core_lid, local_cxy );
 
@@ -416 +416 @@
         thread_t     * thread;       // pointer on new thread descriptor
 
-    thread_dmsg("\n[INFO] %s : enter / for type %s on core[%x,%d] / cycle %d\n",
+    thread_dmsg("\n[DMSG] %s : enter / for type %s on core[%x,%d] / cycle %d\n",
     __FUNCTION__ , thread_type_str( type ) , local_cxy , core_lid , hal_time_stamp() );
 
@@ -449 +449 @@
         hal_cpu_context_create( thread );
 
-    thread_dmsg("\n[INFO] %s : exit / trdid = %x / type = %s / core = [%x,%d] / cycle %d\n",
+    thread_dmsg("\n[DMSG] %s : exit / trdid = %x / type = %s / core = [%x,%d] / cycle %d\n",
     __FUNCTION__ , thread->trdid , thread_type_str(type) , 
     local_cxy , core_lid , hal_time_stamp() );
@@ -502 +502 @@
     core_t     * core       = thread->core;
 
-    thread_dmsg("\n[INFO] %s : enters for thread %x in process %x / type = %s\n",
+    thread_dmsg("\n[DMSG] %s : enters for thread %x in process %x / type = %s\n",
                 __FUNCTION__ , thread->trdid , process->pid , thread_type_str( thread->type ) );
 
@@ -556 +556 @@
         tm_end = hal_get_cycles();
 
-        thread_dmsg("\n[INFO] %s : exit for thread %x in process %x / duration = %d\n",
+        thread_dmsg("\n[DMSG] %s : exit for thread %x in process %x / duration = %d\n",
                        __FUNCTION__, thread->trdid , process->pid , tm_end - tm_start );
 }
@@ -732 +732 @@
     while( 1 )
     {
-        idle_dmsg("\n[INFO] %s : core[%x][%d] goes to sleep at cycle %d\n",
+        idle_dmsg("\n[DMSG] %s : core[%x][%d] goes to sleep at cycle %d\n",
                     __FUNCTION__ , local_cxy , lid , hal_get_cycles() );
 
@@ -738 +738 @@
         //hal_core_sleep();
 
-        idle_dmsg("\n[INFO] %s : core[%x][%d] wake up at cycle %d\n",
+        idle_dmsg("\n[DMSG] %s : core[%x][%d] wake up at cycle %d\n",
                     __FUNCTION__ , local_cxy , lid , hal_get_cycles() );
 

trunk/kernel/kern/thread.h

@@ -158 +158 @@
  * This TRDID is computed by the process_register_thread() function, when the user
  * thread is registered in the local copy of the process descriptor.
+ *
+ * WARNING : Don't modify the first 4 fields order, as this order is used by the
+ * hal_kentry assembly code for the TSAR architecture.
  **************************************************************************************/
 
@@ -164 +167 @@
 typedef struct thread_s
 {
-    void              * cpu_uzone;       /*! used for exception/interrupt/syscall     */
         void              * cpu_context;     /*! used for context switch                  */
         void              * fpu_context;     /*! used for dynamic FPU allocation          */
+
+        intptr_t            k_stack_base;    /*! kernel stack base address                */
+        uint32_t            k_stack_size;    /*! kernel stack size (bytes)                */
 
         uint32_t            trdid;           /*! thread index (cxy.ltid)                  */
@@ -189 +194 @@
         intptr_t            u_stack_base;    /*! user stack base address                  */
         uint32_t            u_stack_size;    /*! user stack size (bytes)                  */
-        intptr_t            k_stack_base;    /*! kernel stack base address                */
-        uint32_t            k_stack_size;    /*! kernel stack size (bytes)                */
 
     void              * entry_func;      /*! pointer on entry function                */