1 files changed, 0 insertions, 10 deletions
diff --git a/src/sys/timer.c b/src/sys/timer.c
index 548bf1a..c8f9922 100644
--- a/src/sys/timer.c
+++ b/src/sys/timer.c
@@ -8,20 +8,10 @@
 #include <util/time.h>
 #include <symbols.h>
 
-void increase_counter(void)
-{
-	if (lock_mutex(&exe_cnt_m, SCHED_PID) == 0) {
-		unsigned long* counter = (unsigned long*)exe_cnt_m.addr;
-		*counter += 1;
-		release_mutex(&exe_cnt_m, SCHED_PID);
-	}
-}
-
 void c_timer(void)
 {
 	// Reset the counter
 	write_cntv_tval(cntfrq/CPS);
 
-	increase_counter();
 	status();
 }