X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimeval.c;h=8ad8d06075b63985a37758b9050a40d3067ab93d;hb=67a4917b07031b387beafaedce413b4207214059;hp=314b3f4303653ee3f51ed757f5f24c6d406b53c3;hpb=03fbffbda4d36188944a4df39eace449a0c306dd;p=openvswitch

diff --git a/lib/timeval.c b/lib/timeval.c
index 314b3f43..8ad8d060 100644
--- a/lib/timeval.c
+++ b/lib/timeval.c
@@ -43,7 +43,7 @@ static struct timeval now;
 /* Time at which to die with SIGALRM (if not TIME_MIN). */
 static time_t deadline = TIME_MIN;
 
-static void setup_timer(void);
+static void set_up_timer(void);
 static void sigalrm_handler(int);
 static void refresh_if_ticked(void);
 static time_t time_add(time_t, time_t);
@@ -78,11 +78,11 @@ time_init(void)
     }
 
     /* Set up periodic signal. */
-    setup_timer();
+    set_up_timer();
 }
 
 static void
-setup_timer(void)
+set_up_timer(void)
 {
     struct itimerval itimer;
 
@@ -102,7 +102,7 @@ setup_timer(void)
 void
 time_postfork(void)
 {
-    setup_timer();
+    set_up_timer();
 }
 
 /* Forces a refresh of the current time from the kernel.  It is not usually