diff options
| -rw-r--r-- | pfinet/linux/time.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h index 65bc8c6c..9b6b9904 100644 --- a/pfinet/linux/time.h +++ b/pfinet/linux/time.h @@ -1,7 +1,13 @@ #ifndef _HACK_TIME_H_ +#define _HACK_TIME_H_ #include <sys/time.h> +#include "mapped-time.h" -void do_gettimeofday (struct timeval *); +extern inline void +do_gettimeofday (struct timeval *tp) +{ + fill_timeval (tp); +} #endif |