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

diff --git a/lib/poll-loop.h b/lib/poll-loop.h
index da8f6e20..fa06a07f 100644
--- a/lib/poll-loop.h
+++ b/lib/poll-loop.h
@@ -65,6 +65,9 @@ void poll_block(void);
 /* Cancel a file descriptor callback or event. */
 void poll_cancel(struct poll_waiter *);
 
+/* Checks whether the file descriptor caused a wakeup. */
+short int poll_fd_woke(int fd);
+
 #ifdef  __cplusplus
 }
 #endif