-/*!
+/**
* \file
* <!--
* Copyright 2003, 2004, 2005 Develer S.r.l. (http://www.develer.com/)
/*#*
*#* $Log$
+ *#* Revision 1.28 2006/07/19 12:56:25 bernie
+ *#* Convert to new Doxygen style.
+ *#*
*#* Revision 1.27 2006/06/01 12:32:06 marco
*#* Updated include reference.
*#*
}
-/*!
+/**
* Output one character to the debug console
*/
static void __kputchar(char c, UNUSED_ARG(void *, unused))
}
-/*!
+/**
* Cheap function to print small integers without using printf().
*/
int kputnum(int num)
#if CONFIG_PRINTF
-/*!
+/**
* Dump binary data in hex
*/
void kdump(const void *_buf, size_t len)