Use endpoint_t type

This commit is contained in:
Ben Gras 2006-06-20 09:51:49 +00:00
parent 831bc7ecd1
commit 28950e6104

View File

@ -52,7 +52,7 @@ struct proc {
char p_name[P_NAME_LEN]; /* name of the process, including \0 */ 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 #if DEBUG_SCHED_CHECK
int p_ready, p_found; int p_ready, p_found;