From a913fbd62c2ce06bdd3f9f091813309476d7e825 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Thu, 30 Mar 2023 15:57:25 +0200
Subject: [PATCH] Removed debug messages from performance counter code.

---
 repos/base-nova/src/lib/base/perf.cc         | 1 -
 repos/mml/src/app/blinktree/benchmark/perf.h | 3 ---
 2 files changed, 4 deletions(-)

diff --git a/repos/base-nova/src/lib/base/perf.cc b/repos/base-nova/src/lib/base/perf.cc
index fccc3a9b5c..242a3228e7 100644
--- a/repos/base-nova/src/lib/base/perf.cc
+++ b/repos/base-nova/src/lib/base/perf.cc
@@ -82,6 +82,5 @@ Genode::uint64_t Genode::Trace::Performance_counter::read(unsigned counter)
     if ((rc = Nova::hpc_read(sel, type, value)) != Nova::NOVA_OK)
         throw  Genode::Trace::Pfc_access_error(rc);
 
-    Genode::log("Performance_counter::read = ", value);
     return static_cast<Genode::uint64_t>(value);
 }
\ No newline at end of file
diff --git a/repos/mml/src/app/blinktree/benchmark/perf.h b/repos/mml/src/app/blinktree/benchmark/perf.h
index 1e65d94202..2a2ae39c00 100644
--- a/repos/mml/src/app/blinktree/benchmark/perf.h
+++ b/repos/mml/src/app/blinktree/benchmark/perf.h
@@ -56,7 +56,6 @@ public:
         try {
             Genode::Trace::Performance_counter::start(_counter);
             _prev.value = static_cast<std::uint64_t>(Genode::Trace::Performance_counter::read(_counter));
-            std::cout << "PMC " << _name << " prev.value=" << _prev.value << std::endl;
         }
         catch (Genode::Trace::Pfc_access_error &e)
         {
@@ -71,7 +70,6 @@ public:
             _data.value = Genode::Trace::Performance_counter::read(_counter);
             Genode::Trace::Performance_counter::stop(_counter);
             Genode::Trace::Performance_counter::reset(_counter);
-            std::cout << "PMC " << _name << " data.value=" << _data.value << std::endl;
         }
         catch (Genode::Trace::Pfc_access_error &e)
         {
@@ -84,7 +82,6 @@ public:
 
     [[nodiscard]] double read() const
     {
-        std::cout << "PMC " << _name << " value: " << (_data.value - _prev.value) << std::endl;
         return static_cast<double>(_data.value - _prev.value);
     }