diff options
Diffstat (limited to 'pfinet/linux/time.h')
| -rw-r--r-- | pfinet/linux/time.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h new file mode 100644 index 00000000..50e13783 --- /dev/null +++ b/pfinet/linux/time.h @@ -0,0 +1,13 @@ +#ifndef _HACK_TIME_H_ +#define _HACK_TIME_H_ + +#include <sys/time.h> +#include "mapped-time.h" + +extern inline void +do_gettimeofday (struct timeval *tp) +{ + maptime_read (mapped_time, &_xtime_buf); +} + +#endif |