Module: xenomai-forge
Branch: next
Commit: b03ba7256bcb0a4818a43d88fcd420dee0fe10b8
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=b03ba7256bcb0a4818a43d88fcd420dee0fe10b8

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

Reply via email to