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

diff --git a/lib/rtnetlink.c b/lib/rtnetlink.c
index bce95ce5..9beddb13 100644
--- a/lib/rtnetlink.c
+++ b/lib/rtnetlink.c
@@ -31,6 +31,8 @@
 
 VLOG_DEFINE_THIS_MODULE(rtnetlink);
 
+COVERAGE_DEFINE(rtnetlink_changed);
+
 /* rtnetlink socket. */
 static struct nl_sock *notify_sock;