Changeset 05e2a7ad in mainline for generic/src/synch/spinlock.c

Timestamp:

2005-12-07T13:32:31Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

839470f

Parents:

253f8590

Message:

Add comments describing locking rules for some locks.
Cleanup.

File:

• generic/src/synch/spinlock.c (modified) (2 diffs)

generic/src/synch/spinlock.c

@@ -63 +63 @@
 void spinlock_lock(spinlock_t *sl)
 {
-        int i = 0;
+        count_t i = 0;
         __address caller = ((__address *) &sl)[-1];
         char *symbol;
+        bool deadlock_reported = false;
 
         preemption_disable();
@@ -77 +78 @@
                         printf("\n");
                         i = 0;
+                        deadlock_reported = true;
                 }
         }
+
+        if (deadlock_reported)
+                printf("cpu%d: not deadlocked\n", CPU->id);
 
         /*