X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.h;h=aa93630be9ec8fb2fe01d09cb17553ed8e1d6b12;hb=7103dec49eb569c3196239da6c178a29c3003e2b;hp=f5ae990375594e033473606dda4c54c7e3efbfac;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch

diff --git a/lib/coverage.h b/lib/coverage.h
index f5ae9903..aa93630b 100644
--- a/lib/coverage.h
+++ b/lib/coverage.h
@@ -52,7 +52,8 @@ struct coverage_counter {
         NAME##_count.count += AMOUNT;                   \
     } while (0)
 
-void coverage_log(enum vlog_level);
+void coverage_init(void);
+void coverage_log(enum vlog_level, bool suppress_dups);
 void coverage_clear(void);
 
 #endif /* coverage.h */