+++ /dev/null
-/*
- * Copyright Droids Corporation, Microb Technology, Eirbot (2005)
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
- *
- * Revision : $Id: scheduler.c,v 1.9.4.6 2009-11-08 17:33:14 zer0 Exp $
- *
- */
-
-#include <string.h>
-#include <stdio.h>
-#include <inttypes.h>
-
-#include <aversive/parts.h>
-#include <aversive/pgmspace.h>
-#include <aversive.h>
-
-#include <scheduler.h>
-#include <scheduler_stats.h>
-
-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("[%d] task_delayed: %"PRIu32", "
- "task_scheduled: %"PRIu32"\r\n"),
- i, sched_stats.task_delayed[i],sched_stats.task_scheduled[i]);
- }
-#endif /* CONFIG_MODULE_SCHEDULER_STATS */
-}