X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Funixctl.c;h=6e0b19ff6fe0dd4a4de41b4c3f4c1a491a199ad7;hb=1cec7ca1a2d9341b6c69d9b6c19792b341db3f6e;hp=161374e0faa37ab4b80ac7ab961e940f71231987;hpb=b43c6fe279a5630dfbc0273e06bd1e8ca530ba35;p=openvswitch

diff --git a/lib/unixctl.c b/lib/unixctl.c
index 161374e0..6e0b19ff 100644
--- a/lib/unixctl.c
+++ b/lib/unixctl.c
@@ -43,6 +43,9 @@
 #endif
 
 VLOG_DEFINE_THIS_MODULE(unixctl);
+
+COVERAGE_DEFINE(unixctl_received);
+COVERAGE_DEFINE(unixctl_replied);
 
 struct unixctl_command {
     unixctl_cb_func *cb;