X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Frtnetlink.c;h=9beddb13941129afb75f1da21628e4587c2dc29f;hb=60d5e0d859c2c04b24cf4283bc764d37911871da;hp=2e1c17330adcd4a5f6c34203de752ea9337b2e5f;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/rtnetlink.c b/lib/rtnetlink.c
index 2e1c1733..9beddb13 100644
--- a/lib/rtnetlink.c
+++ b/lib/rtnetlink.c
@@ -29,7 +29,9 @@
 #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;