Per-cpu kernel pseudo process

libdebugconsole/debugconsole.h

@@ -1,6 +1,8 @@
 #ifndef _LIBDEBUGCONSOLE_DEBUGCONSOLE_H
 #define _LIBDEBUGCONSOLE_DEBUGCONSOLE_H
 
+#include <stddef.h>
+
 #define DEBUG_PRINTF_MAX (16 * 1024)
 
 int debugconsole_print (const char* string, size_t len);