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

diff --git a/lib/poll-loop.c b/lib/poll-loop.c
index 6aefc768..e47cccc3 100644
--- a/lib/poll-loop.c
+++ b/lib/poll-loop.c
@@ -30,7 +30,10 @@
 #include "timeval.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(poll_loop)
+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 {