#ifndef __LIBOS_KTIMER_H__
#define __LIBOS_KTIMER_H__
#include <sys/time.h>
struct timespec64 {
unsigned long tv_sec; /* seconds */
unsigned long tv_nsec; /* nanoseconds */
};
int do_gettimeofday(struct timespec64 *ts);
#endif