-/*!
+/**
* \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.
+ *#*
*#* Revision 1.26 2006/04/27 05:40:27 bernie
*#* Break on assertion failures.
*#*
#include <cfg/cpu.h>
#include <cfg/macros.h> /* for BV() */
#include <appconfig.h>
-#include <hw.h>
+#include <hw_cpu.h> /* for CLOCK_FREQ */
#include <mware/formatwr.h> /* for _formatted_write() */
}
-/*!
+/**
* 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)