Changes between Version 3 and Version 4 of kernel_tty0

Timestamp:

Dec 5, 2014, 3:29:07 PM (10 years ago)

Author:

alain

Comment:

--

kernel_tty0

@@ -3 +3 @@
 [[PageOutline]]
 
-The [source:soft/giet_vm/giet_common/utils.c utils.c] and [source:soft/giet_vm/giet_common/utils.h util.h] files define the functions used to access the kernel terminal TTY[0]. The ''_put*'' functions do not take the lock protecting exclusive access. The ''_printf'' function takes the lock protecting exclusive access.
+The [source:soft/giet_vm/giet_common/tty0.c tty0.c] and [source:soft/giet_vm/giet_common/tty0.h tty0.h] files define the functions used to access the kernel terminal TTY[0]. The ''_put*'' functions do not take the lock protecting exclusive access to TTY0. The ''_printf'' function takes the lock protecting exclusive access to TTY0..
 
 They are prefixed by "_" to remind that they can only be executed by a processor in kernel mode.
 
- === void _puts( char* string ) ===
+ === void '''_puts'''( char* string ) ===
 Displays a ''string'' on kernel TTY0. This function does NOT take the TTY0 lock.
 
- === void _putx( unsigned int value ) ===
+ === void '''_putx'''( unsigned int value ) ===
 Displays a 32 bits word as an hexadecimal string on kernel TTY0. This function does NOT take the TTY0 lock.
 
-=== void _putl( unsigned long long value ) ===
+=== void '''_putl'''( unsigned long long value ) ===
 Displays a 64 bits word as an hexadecimal string on kernel TTY0. This function does NOT take the TTY0 lock.
 
- === void _putd( unsigned int value ) ===
+ === void '''_putd'''( unsigned int value ) ===
 Displays a 32 bits word as an decimal string on kernel TTY0. This function does NOT take the TTY0 lock.
 
- === void _getc( char* byte ) ===
+ === void '''_getc'''( char* byte ) ===
 This blocking function uses a polling strategy on the TTY0 status register to get a single character.
+
+ === void '''_printf'''( char* format, ... ) ===
+This function displays a formated string on TTY0, after taking the simple_lock_t to get exclusive access. Only the following formats are supported:
+ * %s : character string (0 terminated)
+ * %x : hexadecimal representation for an unsigned int (32 bits)
+ * %l : hexadecimal representation for an unsigned long long (64 bits) 
+ * %d : decimal representation for a signed int (32 bits)
  
-