X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimer.h;h=be7bce2f4b9085eedf64837d8c2fa9b35ffe81fe;hb=0ab14c8e284b7c5c68aff1ccc6795a1d4b58bd49;hp=2197f934869073814705a3a7e9bd20b40362d231;hpb=f89ffb0e2f6fa8adc100192ea4b5f948170d8d57;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. */