Changeset 441 for trunk/user/init/init.c

Timestamp:

May 9, 2018, 3:13:56 PM (6 years ago)

Author:

alain

Message:

Fix a bug in rpc_vmm_get_pte_client() function (bad RPC index).

File:

• trunk/user/init/init.c (modified) (3 diffs)

trunk/user/init/init.c

@@ -18 +18 @@
 #include <pthread.h>
 
-#define DEBUG_INIT 1
+#define DEBUG_INIT_PROCESS 1
 
 // TODO make the cxy computation portable [AG]
@@ -76 +76 @@
     } 
   
-#if DEBUG_INIT
+#if DEBUG_INIT_PROCESS
 
     unsigned int  x_size;        // number of clusters in a row
@@ -160 +160 @@
         } // end KSH kill handling
 
-#if( DEBUG_INIT )
+#if DEBUG_INIT_PROCESS
 
         // INIT displays processes and threads in all clusters