X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fstream.c;h=540597f1adcfdc7e0af66b95e6e1852a4e20e9f6;hb=c052da844bdf7fc2f87500f76fca529c4e3dc598;hp=44d94d79097c5a9bcaba9ae9c84514553f5953d0;hpb=4408d18aac89b94249c46f39757026cb337b949f;p=openvswitch

diff --git a/lib/stream.c b/lib/stream.c
index 44d94d79..540597f1 100644
--- a/lib/stream.c
+++ b/lib/stream.c
@@ -39,6 +39,9 @@
 
 VLOG_DEFINE_THIS_MODULE(stream);
 
+COVERAGE_DEFINE(pstream_open);
+COVERAGE_DEFINE(stream_open);
+
 /* State of an active stream.*/
 enum stream_state {
     SCS_CONNECTING,             /* Underlying stream is not connected. */