Changes in kernel/generic/src/synch/spinlock.c [7e752b2:c263c77] 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] == '*')