X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frtnetlink.c;h=54340e5c034cc47cd841b9c45491d2aac6eb9613;hb=e0ce13c4dc34f44d81e0001882a0be88321b5c87;hp=2e1c17330adcd4a5f6c34203de752ea9337b2e5f;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/rtnetlink.c b/lib/rtnetlink.c
index 2e1c1733..54340e5c 100644
--- a/lib/rtnetlink.c
+++ b/lib/rtnetlink.c
@@ -26,10 +26,13 @@
 
 #include "coverage.h"
 #include "netlink.h"
+#include "netlink-socket.h"
 #include "ofpbuf.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(rtnetlink)
+VLOG_DEFINE_THIS_MODULE(rtnetlink);
+
+COVERAGE_DEFINE(rtnetlink_changed);
 
 /* rtnetlink socket. */
 static struct nl_sock *notify_sock;