X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.h;h=5ba903e3a4dadd722c3d4f1dbb2192355361330b;hb=dc268c788e287da920a90e287339d3eac1f05a5e;hp=660a2074c90fecc7fd0b495a6445a18832072a4d;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch

diff --git a/lib/timeval.h b/lib/timeval.h
index 660a2074..5ba903e3 100644
--- a/lib/timeval.h
+++ b/lib/timeval.h
@@ -41,6 +41,9 @@ BUILD_ASSERT_DECL(TYPE_IS_SIGNED(time_t));
 #define TIME_UPDATE_INTERVAL 100
 
 void time_init(void);
+void time_disable_restart(void);
+void time_enable_restart(void);
+void time_postfork(void);
 void time_refresh(void);
 time_t time_now(void);
 long long int time_msec(void);
@@ -48,4 +51,6 @@ void time_timeval(struct timeval *);
 void time_alarm(unsigned int secs);
 int time_poll(struct pollfd *, int n_pollfds, int timeout);
 
+long long int timeval_to_msec(const struct timeval *);
+
 #endif /* timeval.h */