diff options
Diffstat (limited to 'src/kernel/printf.c')
| -rw-r--r-- | src/kernel/printf.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/kernel/printf.c b/src/kernel/printf.c index b496bce..62261ec 100644 --- a/src/kernel/printf.c +++ b/src/kernel/printf.c @@ -33,6 +33,8 @@ #include <stdbool.h>
#include <stdint.h>
+#include <smp.h>
+
#include "printf.h"
@@ -870,7 +872,6 @@ static int _vsnprintf(out_fct_type out, char* buffer, const size_t maxlen, const ///////////////////////////////////////////////////////////////////////////////
-#include <smp_sync.h>
static uint8_t printf_lock = 0;
int printf_(const char* format, ...)
|