2 * Copyright Droids Corporation, Microb Technology, Eirbot (2005)
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18 * Revision : $Id: scheduler.c,v 1.9.4.6 2009-11-08 17:33:14 zer0 Exp $
26 #include <aversive/parts.h>
27 #include <aversive/pgmspace.h>
30 #include <scheduler.h>
31 #include <scheduler_stats.h>
33 void scheduler_stats_dump(void)
35 #ifdef CONFIG_MODULE_SCHEDULER_STATS
38 printf_P(PSTR("alloc_fails: %"PRIu32"\r\n"), sched_stats.alloc_fails);
39 printf_P(PSTR("add_event: %"PRIu32"\r\n"), sched_stats.add_event);
40 printf_P(PSTR("del_event: %"PRIu32"\r\n"), sched_stats.del_event);
41 printf_P(PSTR("max_stacking: %"PRIu32"\r\n"), sched_stats.max_stacking);
42 for (i=0; i<SCHEDULER_NB_MAX_EVENT; i++) {
43 printf_P(PSTR("[%d] task_delayed: %"PRIu32", "
44 "task_scheduled: %"PRIu32"\r\n"),
45 i, sched_stats.task_delayed[i],sched_stats.task_scheduled[i]);
47 #endif /* CONFIG_MODULE_SCHEDULER_STATS */