Use endpoint_t type

diff --git a/kernel/proc.h b/kernel/proc.h
index 728190ceb66060e0898eefbe4619574451d4e674..f86453e2e50944c01983ef3f5cbee591f1cb8d98 100755 (executable)
--- a/kernel/proc.h
+++ b/kernel/proc.h
@@ -52,7 +52,7 @@ struct proc {
 
   char p_name[P_NAME_LEN];     /* name of the process, including \0 */
 
-  int p_endpoint;              /* endpoint number, generation-aware */
+  endpoint_t p_endpoint;       /* endpoint number, generation-aware */
 
 #if DEBUG_SCHED_CHECK
   int p_ready, p_found;