Changes between Version 3 and Version 4 of library_stdio

Timestamp:

Aug 6, 2014, 3:52:26 PM (11 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -3 +3 @@
 The [source:soft/giet_vm/giet_libs/stdio.c stdio.c] and [source:soft/giet_vm/giet_libs/stdio.h stdio.h] files contains all system calls provided to user applications by the GIET-VM. They are generally prefixed by ''giet_''.
 
- == Processor protected register ==
+ == __1) Access to processor protected register__ ==
 
  * '''int giet_procid()'''
@@ -16 +16 @@
 cycle count and the processor index. This value is comprised between 0 & 65535.
 
- == Informations stored in the running task context ==
+ == __2) Informations stored in the running task context__ ==
 
  * '''int giet_proc_task_id()''';
@@ -28 +28 @@
 This functions returns the thread index, identiying the task in a given vspace.
 
- == TTY terminal access ==
+ == __3) Access to TTY terminal__ ==
 
  * '''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.
+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:
    * %d : signed decimal
@@ -39 +40 @@
    * %c : char
    * %s : string
-In case or error, it makes a giet_exit().
 
  * '''void giet_shr_printf( char* format, ... )'''
 This function print formated text on the shared terminal arbitrarily allocated by the kernel, taking the TTY lock
- for exclusive access. It supports the same formats as the giet_tty_printf() function.
-In case or error, it makes a giet_exit().
+for exclusive access. It supports the same formats as the giet_tty_printf() function. In case or error, it makes a giet_exit().
 
  * '''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.
-In case or error, it makes a giet_exit().
+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. In case or error, it makes a giet_exit().
 
  * '''void giet_tty_getw( unsigned int* val )'''