X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.h;h=5ba903e3a4dadd722c3d4f1dbb2192355361330b;hb=f446d59b369ec2c5df79ee3589c50eb22f949a63;hp=7da3b383b243798f87de23b41c7669c723696f38;hpb=e7cfedd6dedab619603ddc3c3832a2b7a0f82f89;p=openvswitch

diff --git a/lib/timeval.h b/lib/timeval.h
index 7da3b383..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);