X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ofproto%2Fpktbuf.c;h=b8698021d35ed1318c0ae9563a399329ffaf4e34;hb=4faaba2b90979e1106b8c9b0430481f2cc62364d;hp=14781c11d3c979e23508e039bfe9da365fcdbc26;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

diff --git a/ofproto/pktbuf.c b/ofproto/pktbuf.c
index 14781c11..b8698021 100644
--- a/ofproto/pktbuf.c
+++ b/ofproto/pktbuf.c
@@ -28,6 +28,11 @@
 
 VLOG_DEFINE_THIS_MODULE(pktbuf);
 
+COVERAGE_DEFINE(pktbuf_buffer_unknown);
+COVERAGE_DEFINE(pktbuf_null_cookie);
+COVERAGE_DEFINE(pktbuf_retrieved);
+COVERAGE_DEFINE(pktbuf_reuse_error);
+
 /* Buffers are identified by a 32-bit opaque ID.  We divide the ID
  * into a buffer number (low bits) and a cookie (high bits).  The buffer number
  * is an index into an array of buffers.  The cookie distinguishes between