X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=kern%2Fproc.h;h=6039c4c101cb22988f75a9c0f3032ae9e87adad0;hb=9cdf4c220f3d40b3ae17465e8d94741973186f16;hp=d5866993a129372c105c3c267f4823355fa808c2;hpb=1cc167e20f21d2e81527ca47ccd4a21a6198f86f;p=bertos.git

diff --git a/kern/proc.h b/kern/proc.h
index d5866993..6039c4c1 100755
--- a/kern/proc.h
+++ b/kern/proc.h
@@ -1,9 +1,9 @@
-/**
+/*!
  * \file
  * <!--
  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
- * All Rights Reserved.
+ * This file is part of DevLib - See devlib/README for information.
  * -->
  *
  * \brief Process scheduler (public interface).
@@ -15,6 +15,12 @@
 
 /*
  * $Log$
+ * Revision 1.3  2004/07/30 14:31:23  rasky
+ * Hunk sfuggito al commit precedente (aggiornamento kernel)
+ *
+ * Revision 1.2  2004/06/03 11:27:09  bernie
+ * Add dual-license information.
+ *
  * Revision 1.1  2004/05/23 17:27:00  bernie
  * Import kern/ subdirectory.
  *
@@ -38,6 +44,11 @@ void proc_switch(void);
 void proc_test(void);
 struct Process* proc_current(void);
 
+#if CONFIG_KERN_MONITOR
+size_t monitor_check_stack(cpustack_t* stack_base, size_t stack_size);
+void monitor_debug_stacks(void);
+#endif
+
 #if CONFIG_KERN_PREEMPTIVE
 	#define	FORBID proc_forbid()
 	#define	PERMIT proc_permit()