From 43d6ac691205dbd0d39d4a565824f328278589f2 Mon Sep 17 00:00:00 2001
From: Matthieu Schaller <matthieu.schaller@durham.ac.uk>
Date: Mon, 17 Apr 2017 17:02:34 +0100
Subject: [PATCH] Re-enabled individual task timers.
---
src/timers.c | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/timers.c b/src/timers.c
index 9b6b32251d..9ab1ae09c7 100644
--- a/src/timers.c
+++ b/src/timers.c
@@ -83,12 +83,9 @@ char *timers_names[timer_count] = {
*
* To reset all timers, use the mask #timers_mask_all.
*/
-
void timers_reset(unsigned long long mask) {
- int k;
-
/* Loop over the timers and set the masked ones to zero. */
- for (k = 0; k < timer_count; k++)
+ for (int k = 0; k < timer_count; k++)
if (mask & (1ull << k)) timers[k] = 0;
}
--
GitLab