Changes between Version 18 and Version 19 of library_stdio

Timestamp:

Oct 25, 2014, 2:38:27 PM (10 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -46 +46 @@
  == __3) TTY related system calls__ ==
 
-  === unsigned int '''giet_tty_printf'''( char* format, ... ) ===
+  === void '''giet_tty_printf'''( char* format, ... ) ===
 This function print formated text on a private terminal that must have been allocated to the calling task in the mapping (''use_tty'' argument). Therefore,  it does not take the TTY lock. 
 Only a limited number of formats are supported:
@@ -58 +58 @@
 Exit in case of illegal format.
 
- === unsigned int '''giet_shr_printf'''( char* format, ... ) ===
+ === void '''giet_shr_printf'''( char* format, ... ) ===
 This function print formated text on the shared terminal arbitrarily allocated by the kernel. It takes the TTY lock
 for exclusive access. It supports the same formats as the giet_tty_printf() function.
@@ -64 +64 @@
 Exit in case of illegal format.
 
- === unsigned int '''giet_tty_getc'''( char* byte ) ===
+ === void '''giet_tty_getc'''( char* byte ) ===
 This blocking function fetches a single character from the private terminal that must have been allocated to the calling task in the application mapping. It uses the TTY_RX_IRQ interrupt, and the associated kernel buffer.
 
 Exit if private TTY index not defined.
 
- === unsigned int '''giet_tty_getw'''( unsigned int* val ) ===
+ === void '''giet_tty_getw'''( unsigned int* val ) ===
 This blocking function fetches a string of decimal characters (most significant digit first) to build a 32-bits unsigned integer from the private TTY terminal  that must have been allocated to the calling task in the application mapping. It uses the TTY_RX_IRQ interrupt, and the associated kernel buffer.
 The non-blocking system function _tty_read is called several times, and the decimal characters are written in a 32 characters buffer until a <LF> character is read. It ignores non-decimal characters, and displays an echo