Changeset 178 for soft/giet_vm/libs/libsrl/srl_sched_wait.c

Timestamp:

Jul 22, 2012, 12:06:11 PM (12 years ago)

Author:

karaoui

Message:

updating libs.

File:

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

soft/giet_vm/libs/libsrl/srl_sched_wait.c

@@ -17 +17 @@
  *
  * Copyright (c) UPMC, Lip6, SoC
- *         Nicolas Pouillon <nipo@ssji.net>, 2008
  */
 
@@ -27 +26 @@
 #define endian_cpu32(x) (x)
 
-#define DECLARE_WAIT(name, cmp)                                              \
-                                                                                         \
-    void srl_sched_wait_##name( void *addr, sint32_t val )                              \
-    {                                                                                           \
-                dcache_flush(addr, sizeof(addr));                                                                                               \
-        if ( ((sint32_t)*((unsigned int *)addr)) cmp val )                      \
-        return;                                                                          \
-        do {                                                                             \
-            context_switch();                                                                                                                   \
-                        dcache_flush(addr, sizeof(addr));                                                                                       \
-        } while (((sint32_t)*((unsigned int*)addr)) cmp val );          \
+#define DECLARE_WAIT(name, cmp)                                 \
+                                                                \
+    void srl_sched_wait_##name( void *addr, sint32_t val )              \
+    {                                                                   \
+                srl_dcache_flush_addr(addr);                                                    \
+        if ( ((sint32_t)*((unsigned int *)addr)) cmp val )              \
+        return;                                                 \
+        do {                                                    \
+            srl_sched_wait_priv(100);??                                                 \
+                        srl_dcache_flush_addr(addr);                                            \
+        } while (((sint32_t)*((unsigned int*)addr)) cmp val );  \
     }
 
@@ -54 +53 @@
 DECLARE_WAIT(gt, >)
 
+//TODO
 void srl_sched_wait_priv(uint32_t date )
 {