Changes between Version 15 and Version 16 of library_stdio

Timestamp:

Oct 23, 2014, 3:06:04 PM (10 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -27 +27 @@
 running on the same processor.
 
- === int giet_global_task_id() ===
+ === int '''giet_global_task_id'''() ===
 This functions returns the global task id, unique in the system.
 
- === int giet_thread_id() === 
+ === int '''giet_thread_id'''() === 
 This functions returns the thread index, identiying the task in a given vspace.
 
  == __3) TTY related system calls__ ==
 
-  === void 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. In case or error, it makes a giet_exit().
 Only a limited number of formats are supported: