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

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