X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftimer.c;h=84d20a401d2b720ccdffea6268a27da75886ad25;hb=f137ed099e3feaa4a9d8c5dc5f5234945451795e;hp=b640a7be89f0bb2ca1dbf4cf5cd3d2dff4f3ade0;hpb=8650b075065d03db50dac26f33bb0ec3c485d044;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);
     }
 }