X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Flockfile.c;h=771ad70c5d48d68c0ff784af315a455f5c28fa21;hb=e7668254f2f8f7208905c858ffbc84a65bb13815;hp=690caf9f210826ceb16fb0b6a551acf8e62e61ed;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/lockfile.c b/lib/lockfile.c
index 690caf9f..771ad70c 100644
--- a/lib/lockfile.c
+++ b/lib/lockfile.c
@@ -31,7 +31,12 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(lockfile)
+VLOG_DEFINE_THIS_MODULE(lockfile);
+
+COVERAGE_DEFINE(lockfile_lock);
+COVERAGE_DEFINE(lockfile_timeout);
+COVERAGE_DEFINE(lockfile_error);
+COVERAGE_DEFINE(lockfile_unlock);
 
 struct lockfile {
     struct hmap_node hmap_node;