Changeset 390 for soft/giet_vm/giet_libs/stdio.h

Timestamp:

Aug 7, 2014, 4:57:07 PM (10 years ago)

Author:

alain

Message:

1) Introducing the new system call giet_get_xy() in stdio.h,

required for the free() funcyion in malloc.h

2) Fixing bugs in malloc.c

File:

• soft/giet_vm/giet_libs/stdio.h (modified) (3 diffs)

soft/giet_vm/giet_libs/stdio.h

@@ -4 +4 @@
 // Author   : alain greiner & Joel Porquet
 // Copyright (c) UPMC-LIP6
+///////////////////////////////////////////////////////////////////////////////////
+// The stdio.c and stdio.h files are part of the GIET_VM nano-kernel.
+// This library contains all user-level functions that contain a system call
+// to access protected or shared ressources.
 ///////////////////////////////////////////////////////////////////////////////////
 
@@ -40 +44 @@
 #define SYSCALL_CTX_SWITCH        0x19
 #define SYSCALL_VOBJ_GET_VBASE    0x1A
-#define SYSCALL_FREE_1B           0x1B
+#define SYSCALL_GET_XY            0x1B
 #define SYSCALL_NIC_CMA_START     0x1C
 #define SYSCALL_NIC_CMA_STOP      0x1D
@@ -446 +450 @@
                             unsigned int  y );
 
+//////////////////////////////////////////////////////////////////////////
+// This function takes as input a virtual address (ptr argument), 
+// and returns through the (px,py) arguments the coordinates of 
+// the cluster containing the physical address associated to ptr. 
+// In case of error (unmapped virtual address), it makes a giet_exit().
+//////////////////////////////////////////////////////////////////////////
+extern void giet_get_xy( void*          ptr, 
+                         unsigned int*  px,
+                         unsigned int*  py );
+
 #endif