Changeset 160 for soft/giet_vm/libs/stdio.c

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/libs/stdio.c (modified) (3 diffs)

soft/giet_vm/libs/stdio.c

@@ -34 +34 @@
 #define SYSCALL_IOC_READ        0x16
 #define SYSCALL_IOC_COMPLETED   0x17
-#define SYSCALL_MWMR_BASE       0x1A
+#define SYSCALL_VOBJ_GET_VBASE  0x1A
 
 //////////////////////////////////////////////////////////////////////////////////
@@ -720 +720 @@
 //////////////////////////////////////////////////////////////////////////////////
 //      mwmr_base()
+//      TODO!
 // This function returns in argument buffer the virtual base address 
 // of a MWMR communication channel, identified by the two arguments
@@ -726 +727 @@
 // must be declared in the mapping_info data structure to be initialised
 // in the boot phase.
-// - Returns 0 if success, > 0 if error ( channel not defined )
-//////////////////////////////////////////////////////////////////////////////////
-unsigned int mwmr_base( char*           vspace_name,
-                        char*           mwmr_name,
-                        void*           buffer )
-{
-    return sys_call(SYSCALL_MWMR_BASE, 
+// - Returns the address if success,  0 if error ( channel not defined )
+//////////////////////////////////////////////////////////////////////////////////
+unsigned int vobj_get_vbase( char* vspace_name, char* vobj_name,
+                        unsigned int vobj_type, unsigned int* vobj_buffer)
+{
+    return sys_call(SYSCALL_VOBJ_GET_VBASE, 
                     (unsigned int)vspace_name,
-                    (unsigned int)mwmr_name,
-                    (unsigned int)buffer,
-                    0);
+                    (unsigned int)vobj_name,
+                    (unsigned int)vobj_type,
+                    (unsigned int)vobj_buffer);
 }
 ////////////////////////////////////////////////////////////////////////////////////