Diff: platform/mbed_interface.h

Revision:

167:e84263d55307

Parent:

149:156823d33999

--- a/platform/mbed_interface.h	Thu Jun 08 15:02:37 2017 +0100
+++ b/platform/mbed_interface.h	Wed Jun 21 17:46:44 2017 +0100
@@ -113,16 +113,28 @@
 void mbed_die(void);
 
 /** Print out an error message.  This is typically called when
- * hanlding a crash.
+ * handling a crash.
+ *
+ * @note Synchronization level: Interrupt safe
  *
- * @Note Synchronization level: Interrupt safe
+ * @param format    C string that contains data stream to be printed.
+ *                  Code snippets below show valid format.
+ *
+ * @code
+ * mbed_error_printf("Failed: %s, file: %s, line %d \n", expr, file, line);
+ * @endcode
+ *
  */
 void mbed_error_printf(const char* format, ...);
 
 /** Print out an error message.  Similar to mbed_error_printf
  * but uses a va_list.
  *
- * @Note Synchronization level: Interrupt safe
+ * @note Synchronization level: Interrupt safe
+ *
+ * @param format    C string that contains data stream to be printed.
+ * @param arg       Variable arguments list
+ *
  */
 void mbed_error_vfprintf(const char * format, va_list arg);