Allow ev_qs to not have INDIR throttling (XCC)
[akaros.git] / kern / src / printf.c
index e870dca..b858a0b 100644 (file)
@@ -1,14 +1,18 @@
 // 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>
+#include <ros/common.h>
 
 #include <atomic.h>
 #include <stdio.h>
 #include <stdarg.h>
 
-uint32_t output_lock = 0;
+spinlock_t output_lock = SPINLOCK_INITIALIZER;
 
 void putch(int ch, int **cnt)
 {
@@ -22,8 +26,8 @@ void putch(int ch, int **cnt)
 void buffered_putch(int ch, int **cnt)
 {
        #define buffered_putch_bufsize 64
-       static char buf[buffered_putch_bufsize];
-       static int buflen = 0;
+       static char LCKD(&output_lock) (RO buf)[buffered_putch_bufsize];
+       static int LCKD(&output_lock) buflen = 0;
 
        if(ch != -1)
        {
@@ -48,7 +52,11 @@ int vcprintf(const char *fmt, va_list ap)
        spin_lock_irqsave(&output_lock);
 
        // do the buffered printf
+       #ifdef __DEPUTY__
        vprintfmt(buffered_putch, &cntp, fmt, ap);
+       #else
+       vprintfmt((void*)buffered_putch, (void*)&cntp, fmt, ap);
+       #endif
 
        // write out remaining chars in the buffer
        buffered_putch(-1,&cntp);
@@ -63,6 +71,9 @@ int cprintf(const char *fmt, ...)
        va_list ap;
        int cnt;
 
+       if (!fmt)
+               return 0;
+
        va_start(ap, fmt);
        cnt = vcprintf(fmt, ap);
        va_end(ap);