Remove the frontend appserver code
[akaros.git] / kern / src / printf.c
index e00edc3..6e54a04 100644 (file)
@@ -9,6 +9,7 @@
 #include <stdarg.h>
 #include <smp.h>
 #include <kprof.h>
+#include <init.h>
 
 spinlock_t output_lock = SPINLOCK_INITIALIZER_IRQSAVE;
 
@@ -43,7 +44,6 @@ void buffered_putch(int ch, int **cnt)
 int vcprintf(const char *fmt, va_list ap)
 {
        struct per_cpu_info *pcpui;
-       extern int booting;
        int cnt = 0;
        int *cntp = &cnt;
        volatile int i;
@@ -51,7 +51,7 @@ int vcprintf(const char *fmt, va_list ap)
        va_list args;
 
        va_copy(args, ap);
-       trace_vprintk(false, fmt, args);
+       trace_vprintk(fmt, args);
        va_end(args);
 
        /* this ktrap depth stuff is in case the kernel faults in a printfmt call.