= The stdio Library =

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.

 == Processor protected registers ==

 * '''int giet_procid()'''
This function returns the global processor identifier gpid, depending on (X,Y,L) where X,Y are the cluster coordinates, and L is the local processor index.
The format is  gpid = X<<Y_WIDTH + Y) * NB_PROCS_MAX) + L

 * '''int giet_proctime()'''
This function returns the local processor time (number of cycles from reset.

 * '''int giet_rand()
This function returns a pseudo-random value derived from both the processor 
cycle count and the processor index. This value is comprised between 0 & 65535.

 == Informations stored in the running task context ==

 * 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()''' 
This functions returns the global task id, unique in the system.

 * '''int giet_thread_id()''' 
This functions returns the thread index, identiying the task in a given vspace.