Changes between Version 26 and Version 27 of library_stdio

Timestamp:

Oct 28, 2014, 11:20:32 PM (10 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -167 +167 @@
 This function returns in the ''buffer'' argument the number of processors in the cluster specified by the ''cluster_xy'' argument. In case or error (such as illegal cluster index), it makes a giet_exit().
 
- === void '''giet_vobj_get_vbase'''( char* vspace_name, char*  vobj_name, unsigned int* vobj_vaddr) ===
-This function returns in argument ''vobj_vaddr'' the virtual base address of a vobj defined in the mapping_info data structure. The vobj is identified by the two arguments ''vspace_name'' and ''vobj_name''. In case of error (such as undefined vspace or undefined vobj), it makes a giet_exit().
+ === void '''giet_vobj_get_vbase'''( char* vspace_name, char*  vobj_name, unsigned int* vbase) ===
+This function returns in argument ''vbase'' the virtual base address of a vobj defined in the mapping_info data structure. The vobj is identified by the two arguments ''vspace_name'' and ''vobj_name''. In case of error (such as undefined vspace or undefined vobj), it makes a giet_exit().
+
+ === void '''giet_vobj_get_length'''( char* vspace_name, char*  vobj_name, unsigned int* length) ===
+This function returns in argument ''length'' the length (bytes) of a vobj defined in the mapping_info data structure. The vobj is identified by the two arguments ''vspace_name'' and ''vobj_name''. In case of error (such as undefined vspace or undefined vobj), it makes a giet_exit().
 
  === void '''giet_heap_info'''( unsigned int* vaddr, unsigned int* length, unsigned int  x, unsigned int  y );