X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimer.c;h=84d20a401d2b720ccdffea6268a27da75886ad25;hb=a79c50f3df6197381c0ad8e91216ba2c5253473d;hp=b640a7be89f0bb2ca1dbf4cf5cd3d2dff4f3ade0;hpb=dd986e09fdbb79be4a7e8dbb77dca8f68c04c321;p=openvswitch

diff --git a/lib/timer.c b/lib/timer.c
index b640a7be..84d20a40 100644
--- a/lib/timer.c
+++ b/lib/timer.c
@@ -34,9 +34,9 @@ timer_msecs_until_expired(const struct timer *timer)
 
 /* Causes poll_block() to wake when 'timer' expires. */
 void
-timer_wait(const struct timer *timer)
+(timer_wait)(const struct timer *timer, const char *where)
 {
     if (timer->t < LLONG_MAX) {
-        poll_timer_wait_until(timer->t);
+        (poll_timer_wait_until)(timer->t, where);
     }
 }