Hunk sfuggito al commit precedente (aggiornamento kernel)

[bertos.git] / kern / proc.h

diff --git a/kern/proc.h b/kern/proc.h
index d5866993a129372c105c3c267f4823355fa808c2..6039c4c101cb22988f75a9c0f3032ae9e87adad0 100755 (executable)
--- 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()