* Print to log with timestamps.
* FIXME: causes an extra copy
*/
+static void printl(const char *fmt, ...)
+ __attribute__ ((format (printf, 1, 2)));
+
static void printl(const char *fmt, ...)
{
va_list args;
kfifo_put(tcpw.fifo, tbuf, len);
wake_up(&tcpw.wait);
-} __attribute__ ((format (printf, 1, 2)));
-
+}
/*
* Hook inserted to be called before each receive packet.