Getting SharC to check some locking
[akaros.git] / kern / src / printf.c
index 721954d..df4677f 100644 (file)
@@ -1,8 +1,8 @@
 // Simple implementation of cprintf console output for the kernel,
 // based on printfmt() and the kernel console's cputchar().
 
-#ifdef __DEPUTY__
-#pragma nodeputy
+#ifdef __SHARC__
+#pragma nosharc
 #endif
 
 #include <arch/arch.h>
@@ -52,7 +52,7 @@ int vcprintf(const char *fmt, va_list ap)
        spin_lock_irqsave(&output_lock);
 
        // do the buffered printf
-       vprintfmt((void*)buffered_putch, (void**)&cntp, fmt, ap);
+       vprintfmt(buffered_putch, &cntp, fmt, ap);
 
        // write out remaining chars in the buffer
        buffered_putch(-1,&cntp);