Accidentally turned off output lock. Oops! Fixed.
authorAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Wed, 28 Oct 2009 23:33:26 +0000 (16:33 -0700)
committerAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Wed, 28 Oct 2009 23:33:26 +0000 (16:33 -0700)
kern/src/printf.c

index 651790c..2bb2bb3 100644 (file)
@@ -49,7 +49,7 @@ int vcprintf(const char *fmt, va_list ap)
        volatile int i;
 
        // lock all output.  this will catch any printfs at line granularity
-//     spin_lock_irqsave(&output_lock);
+       spin_lock_irqsave(&output_lock);
 
        // do the buffered printf
        #ifdef __DEPUTY__
@@ -61,7 +61,7 @@ int vcprintf(const char *fmt, va_list ap)
        // write out remaining chars in the buffer
        buffered_putch(-1,&cntp);
 
-//     spin_unlock_irqsave(&output_lock);
+       spin_unlock_irqsave(&output_lock);
 
        return cnt;
 }