Changes in kernel/generic/src/synch/spinlock.c [13108f24:2b4a9f26] in mainline

File:

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

kernel/generic/src/synch/spinlock.c

@@ -128 +128 @@
 void spinlock_unlock_debug(spinlock_t *lock)
 {
-        ASSERT(atomic_get(&lock->val) != 0);
+        ASSERT_SPINLOCK(atomic_get(&lock->val) != 0, lock);
         
         /*
@@ -143 +143 @@
 /** Lock spinlock conditionally
  *
- * Lock spinlock conditionally.
- * If the spinlock is not available at the moment,
- * signal failure.
+ * Lock spinlock conditionally. If the spinlock is not available
+ * at the moment, signal failure.
  *
  * @param lock Pointer to spinlock_t structure.