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

diff --git a/lib/lockfile.c b/lib/lockfile.c
index f056502d..771ad70c 100644
--- a/lib/lockfile.c
+++ b/lib/lockfile.c
@@ -33,6 +33,11 @@
 
 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;
     char *name;