1 #ifndef __LIBOS_KTIMER_H__
2 #define __LIBOS_KTIMER_H__
3 
4 #include <sys/time.h>
5 
6 struct timespec64 {
7     unsigned long tv_sec;   /* seconds */
8     unsigned long tv_nsec;  /* nanoseconds */
9 };
10 
11 int do_gettimeofday(struct timespec64 *ts);
12 
13 #endif
14