X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fproc.c;h=7fe9c70abc555029f5e7ce17044ab8b7713153fe;hb=3278853417ff353379e9c9b98a03bab687e16167;hp=dda2b018c180e8891af2c6660ce4485eb653046a;hpb=680ecaecd7ed77d044fbf333ce97e533b04bbfa3;p=bertos.git

diff --git a/kern/proc.c b/kern/proc.c
index dda2b018..7fe9c70a 100755
--- a/kern/proc.c
+++ b/kern/proc.c
@@ -3,7 +3,7 @@
  * <!--
  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Simple realtime multitasking scheduler.
@@ -17,6 +17,18 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.27  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
+ *#* Revision 1.26  2005/04/11 19:10:28  bernie
+ *#* Include top-level headers from cfg/ subdir.
+ *#*
+ *#* Revision 1.25  2005/03/15 00:20:54  bernie
+ *#* proc_schedule(): New sanity check.
+ *#*
+ *#* Revision 1.24  2005/01/08 09:20:54  bernie
+ *#* Remove unused variable.
+ *#*
  *#* Revision 1.23  2004/12/13 12:07:06  bernie
  *#* DISABLE_IRQSAVE/ENABLE_IRQRESTORE: Convert to IRQ_SAVE_DISABLE/IRQ_RESTORE.
  *#*
@@ -88,12 +100,12 @@
 
 #include "proc_p.h"
 #include "proc.h"
-#include "cpu.h"
+#include <cfg/cpu.h>
 #include "event.h"
 #include "hw.h"
-#include <debug.h>
-#include <arch_config.h>  /* ARCH_EMUL */
-#include <macros.h>  /* ABS() */
+#include <cfg/debug.h>
+#include <cfg/arch_config.h>  /* ARCH_EMUL */
+#include <cfg/macros.h>  /* ABS() */
 
 #include <string.h> /* memset() */
 
@@ -182,7 +194,6 @@ void proc_init(void)
 struct Process *proc_new_with_name(UNUSED(const char*, name), void (*entry)(void), iptr_t data, size_t stacksize, cpustack_t *stack_base)
 {
 	Process *proc;
-	cpuflags_t flags;
 	size_t i;
 	size_t proc_size_words = ROUND2(sizeof(Process), sizeof(cpustack_t)) / sizeof(cpustack_t);
 #if CONFIG_KERN_HEAP
@@ -294,6 +305,9 @@ void proc_schedule(void)
 	/* Remember old process to save its context later */
 	old_process = CurrentProcess;
 
+	/* Scheduling in interrupts is a nono. */
+	ASSERT(!IRQ_RUNNING());
+
 	/* Poll on the ready queue for the first ready process */
 	IRQ_SAVE_DISABLE(flags);
 	while (!(CurrentProcess = (struct Process *)REMHEAD(&ProcReadyList)))