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

diff --git a/lib/poll-loop.h b/lib/poll-loop.h
index fa06a07f..da8f6e20 100644
--- a/lib/poll-loop.h
+++ b/lib/poll-loop.h
@@ -65,9 +65,6 @@ 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