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

diff --git a/lib/timeval.h b/lib/timeval.h
index 660a2074..8567d754 100644
--- a/lib/timeval.h
+++ b/lib/timeval.h
@@ -41,6 +41,7 @@ BUILD_ASSERT_DECL(TYPE_IS_SIGNED(time_t));
 #define TIME_UPDATE_INTERVAL 100
 
 void time_init(void);
+void time_postfork(void);
 void time_refresh(void);
 time_t time_now(void);
 long long int time_msec(void);