Changeset 240 for soft/giet_vm/sys

Timestamp:

Jun 3, 2013, 5:28:47 PM (11 years ago)

Author:

joannou

Message:

Bug fix for scheduler handling :

• In boot_init.c, changed left shifts of 10 to left shifts of 12 to support 4K schedulers instead of 1K schedulers
• In common.c, updated _get_sched() function to return the content of CP0_SCHED register

File:

• soft/giet_vm/sys/common.c (modified) (1 diff)

soft/giet_vm/sys/common.c

@@ -26 +26 @@
 //       _get_sched()
 // Access CP0 and returns a pointer (virtual address) on the calling
-// processor scheduler (taking into account the processor local index).
+// processor scheduler.
 ///////////////////////////////////////////////////////////////////////////////////
 static_scheduler_t* _get_sched() 
 {
-    static_scheduler_t* psched;
-    unsigned int        vaddr;
-    unsigned int        lpid = _procid() % NB_PROCS_MAX;
-
+    unsigned int vaddr;
     asm volatile(
             "mfc0    %0,   $22    \n" 
             : "=r"(vaddr) );
-
-    psched = (static_scheduler_t*)vaddr;
-    return (psched + lpid);
+    return (static_scheduler_t*)vaddr;
 }