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

Timestamp:

Mar 6, 2019, 4:37:15 PM (5 years ago)

Author:

alain

Message:

Introduce three new types of vsegs (KCODE,KDATA,KDEV)
to map the kernel vsegs in the process VSL and GPT.
This now used by both the TSAR and the I86 architectures.

File:

• trunk/kernel/kern/printk.h (modified) (3 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 a text terminal.
-// Two access modes are supported:
-// - The printk() function displays kernel messages on the kernel terminal TXT0,
-//   using a busy waiting policy: It calls directly the relevant TXT driver,
-//   after taking the TXT0 busylock for exclusive access to the TXT0 terminal.
-// - The user_printk() function displays messages on the calling thread private
-//   terminal, using a descheduling policy: it register the request in the selected
-//   TXT chdev waiting queue and deschedule. The calling thread is reactivated by
-//   the IRQ signalling completion.
-// Both functions use the generic TXT device to call the proper implementation
-// dependant TXT driver.
-// Finally these files define a set of conditional trace <***_dmsg> for debug.
+// to display messages on the kernel terminal TXT0, using a busy waiting policy. 
+// It calls synchronously the TXT0 driver, without descheduling.
 ///////////////////////////////////////////////////////////////////////////////////
 
@@ -44 +34 @@
 #include <stdarg.h>
 
-#include <hal_special.h> // hal_get_cycles()
+#include <hal_special.h> 
 
 /**********************************************************************************
  * This function build a formatted string.
  * The supported formats are defined below :
- *   %c : single character
- *   %d : signed decimal 32 bits integer
- *   %u : unsigned decimal 32 bits integer
- *   %x : hexadecimal 32 bits integer
- *   %l : hexadecimal 64 bits integer
+ *   %b : exactly 2 digits hexadecimal integer (8 bits)
+ *   %c : single ascii character (8 bits)
+ *   %d : up to 10 digits decimal integer (32 bits)
+ *   %u : up to 10 digits unsigned decimal (32 bits) 
+ *   %x : up to 8 digits hexadecimal integer (32 bits) 
+ *   %X : exactly 8 digits hexadecimal integer (32 bits) 
+ *   %l : up to 16 digits hexadecimal integer (64 bits)
+ *   %L : exactly 16 digits hexadecimal integer (64 bits)
  *   %s : NUL terminated character string
  **********************************************************************************
@@ -153 +146 @@
 void putl( uint64_t val );
 
+/**********************************************************************************
+ * This debug function displays on the kernel TXT0 terminal the content of an
+ * array of bytes defined by <buffer> and <size> arguments (16 bytes per line).
+ * The <string> argument is displayed before the buffer content.
+ * The line format is an address folowed by 16 (hexa) bytes.
+ **********************************************************************************
+ * @ string   : buffer name or identifier.
+ * @ buffer   : local pointer on bytes array.
+ * @ size     : number of bytes bytes to display.
+ *********************************************************************************/
+void putb( char     * string,
+           uint8_t  * buffer,
+           uint32_t   size );
+
+
 
 #endif  // _PRINTK_H