X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fpoll-loop.c;h=e47cccc392763f53c3e68ecfd987ca8894e99d1b;hb=4f1046117c54e60b8ef6b7b21c23d3a4bf2e61fb;hp=653fdd92812a23b0cfa42a0e8103ca856bb03e0e;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

diff --git a/lib/poll-loop.c b/lib/poll-loop.c
index 653fdd92..e47cccc3 100644
--- a/lib/poll-loop.c
+++ b/lib/poll-loop.c
@@ -32,6 +32,9 @@
 
 VLOG_DEFINE_THIS_MODULE(poll_loop);
 
+COVERAGE_DEFINE(poll_fd_wait);
+COVERAGE_DEFINE(poll_zero_timeout);
+
 /* An event that will wake the following call to poll_block(). */
 struct poll_waiter {
     /* Set when the waiter is created. */