From: Ethan Jackson <ethan@nicira.com>
Date: Thu, 19 May 2011 00:55:25 +0000 (-0700)
Subject: timer: Remove timer_expired_at() function.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9e3173ffc23abe8f5a70cc4366331218ca96302;p=openvswitch

timer: Remove timer_expired_at() function.

This function has no users, and is a bit of a kludge anyway.
---

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. */