Module: xenomai-forge
Branch: next
Commit: d23731e1ef3972b691bc8517e1fc4ef8960a0bb6
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=d23731e1ef3972b691bc8517e1fc4ef8960a0bb6
Author: Philippe Gerum <r...@xenomai.org>
Date: Thu Aug 1 16:10:31 2013 +0200
cobalt/timer: drop debug knob
No useful information is issued when this knob is enabled, except in
one case which should actually trigger a BUG() assertion. Turn it into
an assertion, and drop the knob.
---
include/cobalt/kernel/timer.h | 4 ----
kernel/cobalt/Kconfig | 7 -------
kernel/cobalt/timer.c | 5 +----
3 files changed, 1 insertions(+), 15 deletions(-)
diff --git a/include/cobalt/kernel/timer.h b/include/cobalt/kernel/timer.h
index 51c0c42..4f029a8 100644
--- a/include/cobalt/kernel/timer.h
+++ b/include/cobalt/kernel/timer.h
@@ -27,10 +27,6 @@
#include <cobalt/kernel/stat.h>
#include <cobalt/kernel/list.h>
-#ifndef CONFIG_XENO_OPT_DEBUG_TIMERS
-#define CONFIG_XENO_OPT_DEBUG_TIMERS 0
-#endif
-
#define XN_INFINITE ((xnticks_t)0)
#define XN_NONBLOCK ((xnticks_t)-1)
diff --git a/kernel/cobalt/Kconfig b/kernel/cobalt/Kconfig
index 2aac57f..0b1d53b 100644
--- a/kernel/cobalt/Kconfig
+++ b/kernel/cobalt/Kconfig
@@ -345,13 +345,6 @@ config XENO_OPT_DEBUG_XNLOCK
sections. Statistics about the longest masking section may be
found in /proc/xenomai/lock.
-config XENO_OPT_DEBUG_TIMERS
- bool "Timer monitoring"
- help
-
- This option activates debugging output for critical
- timer-related operations performed by the Xenomai core.
-
config XENO_OPT_DEBUG_SYNCH_RELAX
bool "Detect mutexes held in relaxed sections"
default y
diff --git a/kernel/cobalt/timer.c b/kernel/cobalt/timer.c
index 2cd086b..6ade2e9 100644
--- a/kernel/cobalt/timer.c
+++ b/kernel/cobalt/timer.c
@@ -643,10 +643,7 @@ static void switch_htick_mode(enum clock_event_mode mode,
xntimer_stop(&sched->htimer);
break;
default:
-#if XENO_DEBUG(TIMERS)
- printk(XENO_ERR "host tick: invalid mode `%d'?\n", mode);
-#endif
- ;
+ XENO_BUGON(NUCLEUS, 1);
}
xnlock_put_irqrestore(&nklock, s);
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
