Getting SharC to check some locking
[akaros.git] / kern / src / printf.c
index e870dca..df4677f 100644 (file)
@@ -1,6 +1,10 @@
 // Simple implementation of cprintf console output for the kernel,
 // based on printfmt() and the kernel console's cputchar().
 
+#ifdef __SHARC__
+#pragma nosharc
+#endif
+
 #include <arch/arch.h>
 #include <arch/types.h>