X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fprocess.c;h=6e9ea8eca0ed8ff3839236bc0f20dc81e91aa149;hb=6aa09313722406629133b375871547fb426800ef;hp=087275b8e7217d21c43f274ce8f38496e5c87add;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/process.c b/lib/process.c
index 087275b8..6e9ea8ec 100644
--- a/lib/process.c
+++ b/lib/process.c
@@ -34,7 +34,12 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(process)
+VLOG_DEFINE_THIS_MODULE(process);
+
+COVERAGE_DEFINE(process_run);
+COVERAGE_DEFINE(process_run_capture);
+COVERAGE_DEFINE(process_sigchld);
+COVERAGE_DEFINE(process_start);
 
 struct process {
     struct list node;