Index: trunk/kernel/kern/rpc.h
===================================================================
--- trunk/kernel/kern/rpc.h	(revision 428)
+++ trunk/kernel/kern/rpc.h	(revision 433)
@@ -62,7 +62,7 @@
     RPC_PMEM_GET_PAGES         = 0,
     RPC_PMEM_RELEASE_PAGES     = 1,
-    RPC_PROCESS_MAKE_EXEC      = 2,      
+    RPC_UNDEFINED_2            = 2,      
     RPC_PROCESS_MAKE_FORK      = 3,
-    RPC_PROCESS_MAKE_EXIT      = 4,
+    RPC_UNDEFINED_4            = 4,
     RPC_PROCESS_MAKE_KILL      = 5,
     RPC_THREAD_USER_CREATE     = 6,
@@ -80,4 +80,5 @@
     RPC_VFS_MAPPER_LOAD_ALL    = 17,
     RPC_FATFS_GET_CLUSTER      = 18,
+    RPC_UNDEFINED_19           = 19,
 
     RPC_VMM_GET_VSEG           = 20,
@@ -210,20 +211,6 @@
 
 /***********************************************************************************
- * [2] The RPC_PROCESS_MAKE_EXEC creates a new process descriptor, from an existing
- * process descriptor in a remote server cluster. This server cluster must be 
- * the owner cluster for the existing process. The new process descriptor is 
- * initialized from informations found in the <exec_info> structure.
- * A new main thread descriptor is created in the server cluster.
- * All copies of the old process descriptor and all old threads are destroyed.
- ***********************************************************************************
- * @ cxy     : server cluster identifier.
- * @ process : [in]  local pointer on the exec_info structure in client cluster.
- * @ error   : [out] error status (0 if success).
- **********************************************************************************/
-void rpc_process_make_exec_client( cxy_t                cxy,
-                                   struct exec_info_s * info, 
-                                   error_t            * error );
-
-void rpc_process_make_exec_server( xptr_t xp );
+ * [2] undefined slot
+ **********************************************************************************/
 
 /***********************************************************************************
@@ -251,16 +238,6 @@
 
 /***********************************************************************************
- * [4] The RPC_PROCESS_MAKE_EXIT can be called by any thread to request the owner
- * cluster to execute the process_make_exit() function for the target process.
- ***********************************************************************************
- * @ cxy      : owner cluster identifier.
- * @ pid      : target process identifier.
- * @ status   : calling process exit status.
- **********************************************************************************/
-void rpc_process_make_exit_client( cxy_t              cxy,
-                                   pid_t              pid,
-                                   uint32_t           status );
-
-void rpc_process_make_exit_server( xptr_t xp );
+ * [4] undefined slot
+ **********************************************************************************/
 
 /***********************************************************************************
@@ -269,10 +246,12 @@
  ***********************************************************************************
  * @ cxy      : owner cluster identifier.
- * @ pid      : target process identifier.
- * @ seg_id   : signal type (only SIGKILL / SIGSTOP / SIGCONT are supported).
+ * @ process  : pointer on process in owner cluster.
+ * @ is_exit  : true if called by sys_exit() / false if called by sys_kill()
+ * @ status   : exit status (only when called by sys_exit()
  **********************************************************************************/
 void rpc_process_make_kill_client( cxy_t              cxy,
-                                   pid_t              pid,
-                                   uint32_t           seg_id );
+                                   struct process_s * process,
+                                   bool_t             is_exit,
+                                   uint32_t           status );
 
 void rpc_process_make_kill_server( xptr_t xp );
@@ -517,4 +496,8 @@
 
 /***********************************************************************************
+ * [19] undefined slot
+ **********************************************************************************/
+
+/***********************************************************************************
  * [20] The RPC_VMM_GET_VSEG returns an extended pointer 
  * on the vseg containing a given virtual address in a given process.
