X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.h;h=5ba903e3a4dadd722c3d4f1dbb2192355361330b;hb=342045e17750e755558616f7fd826470e9b11a7e;hp=8567d75475d26bab3961f33083ec5f765eebb294;hpb=03fbffbda4d36188944a4df39eace449a0c306dd;p=openvswitch

diff --git a/lib/timeval.h b/lib/timeval.h
index 8567d754..5ba903e3 100644
--- a/lib/timeval.h
+++ b/lib/timeval.h
@@ -41,6 +41,8 @@ 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);
@@ -49,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 */