Changeset 165 for soft/giet_vm/sys/sys_handler.c

Timestamp:

Jul 4, 2012, 2:51:18 PM (12 years ago)

Author:

alain

Message:

Introducing various modifications in kernel initialisation

File:

• soft/giet_vm/sys/sys_handler.c (modified) (6 diffs)

soft/giet_vm/sys/sys_handler.c

@@ -83 +83 @@
     _puts(" on processor ");
     _putw( proc_id );
+    _puts("\n\n");
 
     /* infinite loop */
@@ -96 +97 @@
     unsigned int ret;
     asm volatile("mfc0 %0, $15, 1" : "=r"(ret));
-    return (ret & 0x3FF);
+    return (ret & 0xFFF);
 }
 //////////////////////////////////////////////////////////////////////////////
@@ -132 +133 @@
 /////////////////////////////////////////////////////////////////////////////
 // _vobj_get_vbase()
+// This function writes in vobj_buffer the virtual base address of a vobj 
+// identified by the (vspace_name / vobj_name ) couple.
+// The vobj_type argument is redundant, and for checking purpose.
 // returns 0: success, else: failed.
-// return the virtual base address of a vobj identified by the (vspace_name / channel_name ) couple.
-// The "type" argument is here for checking purpose.
 /////////////////////////////////////////////////////////////////////////////
-unsigned int _vobj_get_vbase( char* vspace_name, char* vobj_name,
-                        unsigned vobj_type, unsigned int* vobj_buffer)
+unsigned int _vobj_get_vbase( char*                     vspace_name, 
+                              char*                     vobj_name,
+                              unsigned int      vobj_type, 
+                              unsigned int* vobj_vaddr )
 {
     mapping_header_t* header = (mapping_header_t*)&seg_mapping_base;
@@ -153 +157 @@
         {
             // scan vobjs
-            for(vobj_id= vspace[vspace_id].vobj_offset; vobj_id < (vspace[vspace_id].vobj_offset + vspace[vspace_id].vobjs); vobj_id++)
+            for( vobj_id = vspace[vspace_id].vobj_offset; 
+                 vobj_id < (vspace[vspace_id].vobj_offset + vspace[vspace_id].vobjs); 
+                 vobj_id++)
             {
 
@@ -159 +165 @@
                 {
                     if(vobj[vobj_id].type != vobj_type)
-                        return -1;//wrong type
+                        return -1;                                                      //wrong type
 
-                    *vobj_buffer = (unsigned int)vobj[vobj_id].vaddr;
+                    *vobj_vaddr = (unsigned int)vobj[vobj_id].vaddr;
                     return 0;
                 }
@@ -167 +173 @@
         }
     } 
-    return -2;//not found 
+    return -2;          //not found 
 }