path: root/kernel/includes/sys/types.h

typedef int time_t;
typedef int pid_t;