Sistema l'errore da me commesso in fase di conversione...

[bertos.git] / kern / monitor.h

diff --git a/kern/monitor.h b/kern/monitor.h
old mode 100755 (executable)
new mode 100644 (file)
index 3e54475..86d9284
--- a/kern/monitor.h
+++ b/kern/monitor.h
@@ -1,8 +1,8 @@
-/*!
+/**
  * \file
  * <!--
  * Copyright 2004 Develer S.r.l. (http://www.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 Monitor to check for stack overflows
@@ -14,6 +14,18 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.5  2006/07/19 12:56:27  bernie
+ *#* Convert to new Doxygen style.
+ *#*
+ *#* Revision 1.4  2006/02/24 01:17:05  bernie
+ *#* Update for new emulator.
+ *#*
+ *#* Revision 1.3  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
+ *#* Revision 1.2  2005/04/11 19:10:28  bernie
+ *#* Include top-level headers from cfg/ subdir.
+ *#*
  *#* Revision 1.1  2004/10/03 20:39:03  bernie
  *#* Import in DevLib.
  *#*
@@ -26,12 +38,12 @@
 #ifndef KERN_MONITOR_H
 #define KERN_MONITOR_H
 
-#include <cpu.h>
+#include <cfg/cpu.h>
 #include <config_kern.h>
 
 #if CONFIG_KERN_MONITOR
 
-/*!
+/**
  * Start the kernel monitor. It is a special process which checks every second the stacks of the
  * running processes trying to detect stack overflows.
  *
@@ -44,7 +56,7 @@
 void monitor_start(size_t stacksize, cpustack_t *stack);
 
 
-/*!
+/**
  * Manually check if a given stack has overflown. This is used to check for stacks
  * of processes handled externally form the kernel, or for other stacks (for instance
  * the interrupt supervisor stack).
@@ -52,10 +64,10 @@ void monitor_start(size_t stacksize, cpustack_t *stack);
  * \note For this function to work, the stack must have been filled at startup with
  * CONFIG_KERN_STACKFILLCODE.
  */
-size_t monitor_check_stack(cpustack_t* stack_base, size_t stack_size);
+size_t monitor_checkStack(cpustack_t *stack_base, size_t stack_size);
 
 
-/*! Print a report of the stack status through kdebug */
+/** Print a report of the stack status through kdebug */
 void monitor_report(void);