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

diff --git a/lib/process.c b/lib/process.c
index a5f83b46..6e9ea8ec 100644
--- a/lib/process.c
+++ b/lib/process.c
@@ -36,6 +36,11 @@
 
 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;
     char *name;