X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fproc.h;h=6039c4c101cb22988f75a9c0f3032ae9e87adad0;hb=9cdf4c220f3d40b3ae17465e8d94741973186f16;hp=584358d8455db4b193b521fb1779b31b9ba1ec38;hpb=96f0ef786b54356c56cc3d4e4f0838df2505cfcc;p=bertos.git

diff --git a/kern/proc.h b/kern/proc.h
index 584358d8..6039c4c1 100755
--- a/kern/proc.h
+++ b/kern/proc.h
@@ -15,6 +15,9 @@
 
 /*
  * $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.
  *
@@ -41,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()