Changes between Version 7 and Version 8 of library_stdio

Timestamp:

Aug 6, 2014, 7:05:21 PM (10 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -20 +20 @@
  == __2) Task related system calls__ ==
 
- * '''int giet_proc_task_id()''';
+ === int giet_proc_task_id() ===
 This functions returns the local task index, identifying the task amongst all task
 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.