typedef long int __clock_t;
typedef int __key_t; /* Type of a SYSV IPC key. */
+/* Clock ID used in clock and timer functions. */
+typedef int __clockid_t;
+
+/* Timer ID returned by `timer_create'. */
+typedef int __timer_t;
+
/* Used in `struct shmid_ds'. */
typedef int __ipc_pid_t;
\f
typedef long int __clock_t;
+/* Clock ID used in clock and timer functions. */
+typedef int __clockid_t;
+
+/* Timer ID returned by `timer_create'. */
+typedef int __timer_t;
+
/* One element in the file descriptor mask array. */
typedef unsigned long int __fd_mask;