X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fpoll-loop.h;h=a9038ca586a754a178e3cf50f81790325167c590;hb=ecbb6953b37f81f5ea1979aa4e5d8e11df0929ad;hp=eaeca2be55024cbd70266bd4585f5017e289cf3e;hpb=8bf4bbe390af3f370e7e95d9237572ff750047a8;p=openvswitch

diff --git a/lib/poll-loop.h b/lib/poll-loop.h
index eaeca2be..a9038ca5 100644
--- a/lib/poll-loop.h
+++ b/lib/poll-loop.h
@@ -43,6 +43,7 @@ struct poll_waiter;
 /* Schedule events to wake up the following poll_block(). */
 struct poll_waiter *poll_fd_wait(int fd, short int events);
 void poll_timer_wait(long long int msec);
+void poll_timer_wait_until(long long int msec);
 void poll_immediate_wake(void);
 
 /* Wait until an event occurs. */