X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.c;h=ba5d68d84751512e69063e4fc31361f388e9fe48;hb=52dc2ef41b18cc7d4ed2d19f125f19af5eba12b5;hp=e86aa0299464e4684afda1fbd50fa6bb224b366d;hpb=f5c6854a73cb6242297e3aac02ccf2d6a22876b0;p=openvswitch diff --git a/lib/coverage.c b/lib/coverage.c index e86aa029..ba5d68d8 100644 --- a/lib/coverage.c +++ b/lib/coverage.c @@ -36,18 +36,10 @@ coverage_unixctl_log(struct unixctl_conn *conn, const char *args UNUSED) unixctl_command_reply(conn, 200, NULL); } -static void -coverage_unixctl_clear(struct unixctl_conn *conn, const char *args UNUSED) -{ - coverage_clear(); - unixctl_command_reply(conn, 200, NULL); -} - void coverage_init(void) { unixctl_command_register("coverage/log", coverage_unixctl_log); - unixctl_command_register("coverage/clear", coverage_unixctl_clear); } /* Sorts coverage counters in descending order by count, within equal counts @@ -142,8 +134,8 @@ coverage_log(enum vlog_level level, bool suppress_dups) return; } + hash = coverage_hash(); if (suppress_dups) { - hash = coverage_hash(); if (coverage_hit(hash)) { VLOG(level, "Skipping details of duplicate event coverage for " "hash=%08"PRIx32" in epoch %u", hash, epoch);