net: tcp: Fix up the receive window
[akaros.git] / kern / src / printf.c
index 2cd535e..6e54a04 100644 (file)
@@ -8,6 +8,8 @@
 #include <stdio.h>
 #include <stdarg.h>
 #include <smp.h>
+#include <kprof.h>
+#include <init.h>
 
 spinlock_t output_lock = SPINLOCK_INITIALIZER_IRQSAVE;
 
@@ -42,11 +44,15 @@ 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;
        int8_t irq_state = 0;
+       va_list args;
+
+       va_copy(args, ap);
+       trace_vprintk(fmt, args);
+       va_end(args);
 
        /* this ktrap depth stuff is in case the kernel faults in a printfmt call.
         * we disable the locking if we're in a fault handler so that we don't