Fixes bug with debugged spinlocks
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 21 Dec 2012 00:39:16 +0000 (16:39 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 21 Dec 2012 00:39:16 +0000 (16:39 -0800)
Left over from moving the ifdefs around...

kern/src/atomic.c

index 9a49bfc..9a9a042 100644 (file)
@@ -46,7 +46,6 @@ void spin_lock(spinlock_t *lock)
        lock->calling_core = coreid;
        /* TODO consider merging this with __ctx_depth (unused field) */
        increase_lock_depth(lock->calling_core);
-       __spin_lock(lock);
        /* Memory barriers are handled by the particular arches */
 }