kernel/time.h


1
2
3
4
5
6
7
8
9
10

#ifndef TIME_H
#define TIME_H
#include <sys/types.h>

typedef int clockid_t;
struct timespec {
  time_t tv_sec; // Seconds.
  long tv_nsec;  // Nanoseconds.
};
#endif