X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fmonitor.h;h=86d9284b370dfccdb0b0b8a5e16969897951decd;hb=7920ccf2c9be523f680d88ef7d681d09af7da209;hp=3703641fe66d14bb72ee7c71dbb8768cf2328b2a;hpb=7f5d3d3799955d4ef380bb9199a8e32c6dc72ae1;p=bertos.git

diff --git a/kern/monitor.h b/kern/monitor.h
index 3703641f..86d9284b 100755
--- a/kern/monitor.h
+++ b/kern/monitor.h
@@ -1,4 +1,4 @@
-/*!
+/**
  * \file
  * <!--
  * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
@@ -14,6 +14,9 @@
 
 /*#*
  *#* $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.
  *#*
@@ -40,7 +43,7 @@
 
 #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.
  *
@@ -53,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).
@@ -64,7 +67,7 @@ void monitor_start(size_t stacksize, cpustack_t *stack);
 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);