* invalidate any other reasons why the executable file might be covered by
* the GNU General Public License.
*
- * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
- * Copyright 1999,2000,2001 Bernie Innocenti <bernie@codewiz.org>
- *
+ * Copyright 2001, 2004 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 1999, 2000, 2001, 2008 Bernie Innocenti <bernie@codewiz.org>
* -->
*
* \brief Process scheduler (public interface).
*
* \version $Id$
- *
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#ifndef KERN_PROC_H
#endif
void proc_exit(void);
-void proc_switch(void);
+void proc_yield(void);
+#define proc_switch proc_yield /* OBSOLETE */
+
int proc_testSetup(void);
int proc_testRun(void);
int proc_testTearDown(void);
iptr_t proc_current_user_data(void);
void proc_rename(struct Process *proc, const char* name);
-#if CONFIG_KERN_PREEMPTIVE
+#if CONFIG_KERN_PREEMPT
void proc_forbid(void);
void proc_permit(void);
#else
#endif
#endif
-/* OBSOLETE */
-#define CONFIG_KERN_DEFSTACKSIZE CONFIG_PROC_DEFSTACKSIZE
-
/* Memory fill codes to help debugging */
#if CONFIG_KERN_MONITOR
#include <cpu/types.h>
#error No cpustack_t size supported!
#endif
#endif
-#endif /* KERN_PROC_H */
+#endif /* KERN_PROC_H */