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

Timestamp:

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

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/libs/stdio.h (modified) (2 diffs)

soft/giet_vm/libs/stdio.h

@@ -8 +8 @@
 #ifndef _STDIO_H
 #define _STDIO_H
+
+#include <mapping_info.h>
 
 /* MIPS32 related functions */
@@ -57 +59 @@
 unsigned int rand();
 unsigned int ctx_switch();
-unsigned int mwmr_base(char* vspace_name, char* mwmr_name, void* buffer);
+unsigned int vobj_get_vbase( char* vspace_name, char* vobj_name,
+                        unsigned int vobj_type, unsigned int* vobj_buffer);
 
 /*