#ifndef LIB_PID_T_H
#define LIB_PID_T_H

/* Process identifier.
   Moved from lib/user/syscall.h since both kernel-
   and user-space want the same definition. */
typedef int pid_t;

#define PID_ERROR ((pid_t) -1)

/* Format specifier for printf(), e.g.:
   printf ("pid=%"PRPTd"\n", pid); */
#define PRPTd d

#endif /* lib/pid_t.h */