Changes in kernel/generic/src/synch/spinlock.c [c263c77:7e752b2] in mainline

File:

• kernel/generic/src/synch/spinlock.c (modified) (1 diff)

kernel/generic/src/synch/spinlock.c

@@ -96 +96 @@
                  * run in a simulator) that caused problems with both
                  * printf_lock and the framebuffer lock.
+                 *
                  */
                 if (lock->name[0] == '*')