scheduler_interrupt();
}
#endif /* CONFIG_MODULE_SCHEDULER_USE_TIMERS */
-
-
-void scheduler_stats_dump(void)
-{
-#ifdef CONFIG_MODULE_SCHEDULER_STATS
- uint8_t i;
-
- printf_P(PSTR("alloc_fails: %"PRIu32"\r\n"), sched_stats.alloc_fails);
- printf_P(PSTR("add_event: %"PRIu32"\r\n"), sched_stats.add_event);
- printf_P(PSTR("del_event: %"PRIu32"\r\n"), sched_stats.del_event);
- printf_P(PSTR("max_stacking: %"PRIu32"\r\n"), sched_stats.max_stacking);
- for (i=0; i<SCHEDULER_NB_MAX_EVENT; i++) {
- printf_P(PSTR("task_delayed[%d]: %"PRIu32"\r\n"), i,
- sched_stats.task_delayed[i]);
- }
-#endif /* CONFIG_MODULE_SCHEDULER_STATS */
-}