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

Timestamp:

Feb 12, 2013, 6:33:31 PM (12 years ago)

Author:

meunier

Message:

Added support for memspaces and const.
Added an interrupt masking to the "giet_context_switch" syscall
Corrected two bugs in boot/boot_init.c (one minor and one regarding barriers initialization)
Reformatted the code in all files.

File:

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

soft/giet_vm/libs/libsrl/srl_sched_wait.c

@@ -28 +28 @@
 #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 );  \
-    }
+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);   \
+}
 
 
@@ -53 +52 @@
 DECLARE_WAIT(gt, >)
 
-//TODO
-void srl_sched_wait_priv(uint32_t date )
-{
-        do{
-                context_switch();
-        }while (srl_cycle_count() > date);
+    //TODO
+void srl_sched_wait_priv(uint32_t date) {
+    do {
+        context_switch();
+    } while (srl_cycle_count() > date);
 }
 
-void srl_sleep_cycles( uint32_t n )
-{
-        uint32_t next_run_to = srl_cycle_count()+n;
+void srl_sleep_cycles(uint32_t n) {
+    uint32_t next_run_to = srl_cycle_count() + n;
 
-        while(srl_cycle_count() < next_run_to)
-                srl_sched_wait_priv(next_run_to);
+    while (srl_cycle_count() < next_run_to) {
+        srl_sched_wait_priv(next_run_to);
+    }
 }
 
+
+// Local Variables:
+// tab-width: 4
+// c-basic-offset: 4
+// c-file-offsets:((innamespace . 0)(inline-open . 0))
+// indent-tabs-mode: nil
+// End:
+// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
+