X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimer.h;h=be7bce2f4b9085eedf64837d8c2fa9b35ffe81fe;hb=3e5b3fdbf52cee41142ed8e2bf5cab9f49146d97;hp=2197f934869073814705a3a7e9bd20b40362d231;hpb=b2fda3effc787f265b5ad5dfa967ac00627bd075;p=openvswitch

diff --git a/lib/timer.h b/lib/timer.h
index 2197f934..be7bce2f 100644
--- a/lib/timer.h
+++ b/lib/timer.h
@@ -57,18 +57,11 @@ timer_set_expired(struct timer *timer)
     timer->t = LLONG_MIN;
 }
 
-/* True if 'timer' had (or will have) expired at 'time'. */
-static inline bool
-timer_expired_at(const struct timer *timer, long long int time)
-{
-    return time >= timer->t;
-}
-
 /* True if 'timer' has expired. */
 static inline bool
 timer_expired(const struct timer *timer)
 {
-    return timer_expired_at(timer, time_msec());
+    return time_msec() >= timer->t;
 }
 
 /* Returns ture if 'timer' will never expire. */