From f430ff06a9b2b26e2007da403739f9def5264f6d Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Sun, 21 Aug 2016 11:46:02 +0200
Subject: [PATCH] Better logging

---
 kernel/include/mutex.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/include/mutex.hpp b/kernel/include/mutex.hpp
index 81b43134..d7e1e0a9 100644
--- a/kernel/include/mutex.hpp
+++ b/kernel/include/mutex.hpp
@@ -43,7 +43,7 @@ public:
             value = 0;
 
             if(Debug){
-                logging::logf(logging::log_level::TRACE, "%s(mutex): directly acquired %d\n", name, scheduler::get_pid());
+                logging::logf(logging::log_level::TRACE, "%s(mutex): directly acquired (process %d)\n", name, scheduler::get_pid());
             }
 
             lock.release();
@@ -67,7 +67,7 @@ public:
         if(queue.empty()){
             value = 1;
             if(Debug){
-                logging::logf(logging::log_level::TRACE, "%s(mutex): direct release\n", name);
+                logging::logf(logging::log_level::TRACE, "%s(mutex): direct release (process %d)\n", name, scheduler::get_pid());
             }
         } else {
             auto pid = queue.pop();