Protect printf with spinlock to prevent interleaved output on SMP

On SMP systems, concurrent calls to printf() from multiple harts can
cause interleaved and unreadable output due to racing writes to the
shared output buffer.

Add a spinlock to serialize access to printf(), ensuring that only one
hart writes at a time.

This change improves the readability of debug messages and prevents
garbled output when multiple harts are active.

Author: visitorckw

lib/libc.c

@@ -1,5 +1,6 @@
 #include <lib/libc.h>
 #include <stdarg.h>
+#include <spinlock.h>
 
 #include "private/stdio.h"
 #include "private/utils.h"
@@ -896,15 +897,20 @@ static int vsprintf(char **buf, const char *fmt, va_list args)
     return len;
 }
 
+
+static spinlock_t printf_lock = SPINLOCK_INITIALIZER;
+static uint32_t printf_flags = 0;
 /* Formatted output to stdout. */
 int32_t printf(const char *fmt, ...)
 {
     va_list args;
     int32_t v;
 
+    spin_lock_irqsave(&printf_lock, &printf_flags);
     va_start(args, fmt);
     v = vsprintf(0, fmt, args);
     va_end(args);
+    spin_unlock_irqrestore(&printf_lock, printf_flags);
     return v;
 }