Changeset 683 for trunk/kernel/kern/printk.h

Timestamp:

Jan 13, 2021, 12:36:17 AM (3 years ago)

Author:

alain

Message:

All modifications required to support the <tcp_chat> application
including error recovery in case of packet loss.A

File:

• trunk/kernel/kern/printk.h (modified) (5 diffs)

trunk/kernel/kern/printk.h

@@ -24 +24 @@
 ///////////////////////////////////////////////////////////////////////////////////
 // The printk.c and printk.h files define the functions used by the kernel
-// to display messages on the kernel terminal TXT0, using a busy waiting policy. 
-// It calls synchronously the TXT0 driver, without descheduling.
+// to build, or display on terminal TXT0, formated strings.
+// In case ofdisplay, it calls synchronously the TXT0 driver, without descheduling.
 //
-// For the formated string, the supported formats are defined below :
+// The supported formats are defined below :
 //   %c : single ascii character (8 bits)
+//   %b : exactly 2 hexadecimal digits (8 bits)
 //   %d : up to 10 digits decimal integer (32 bits)
 //   %u : up to 10 digits unsigned decimal (32 bits) 
@@ -47 +48 @@
 
 /**********************************************************************************
- * These debug functions display a formated string defined by the <format,...>
+ * These functions display a formated string defined by the <format,...>
  * argument on the kernel terminal TXT0, with or without taking the TXT0 lock. 
  **********************************************************************************
@@ -64 +65 @@
 
 /**********************************************************************************
- * This debug function displays a [ASSERT] message on kernel TXT0 terminal
+ * This function displays an [ASSERT] message on kernel TXT0 terminal
  * if Boolean expression <expr> is false. It prints a detailed message including:
  * - the calling core [cxy,lpid]
@@ -83 +84 @@
  * This function build a formated string in a buffer defined by the <buffer> 
  * and <buf_size> arguments, from the format defined by the <format,...> argument.
- * This function set the NUL terminating character in target <buffer>.
+ * This function set the NUL terminating character in target <buffer>,
+ * but the returned length does not include this NUL character.
  **********************************************************************************
  * @ buffer     : pointer on target buffer (allocated by caller).
@@ -142 +144 @@
  * @ string   : buffer name or identifier.
  * @ buffer   : local pointer on bytes array.
- * @ size     : number of bytes bytes to display.
+ * @ size     : number of bytes to display.
  *********************************************************************************/
 void putb( char     * string,