41 lines
1.1 KiB
C
41 lines
1.1 KiB
C
#include <debugconsole.h>
|
|
#include <devices.h>
|
|
#include <printf.h>
|
|
#include <stdatomic.h>
|
|
#include <stddef.h>
|
|
#include <system.h>
|
|
|
|
static char debug_printf_buffer[DEBUG_PRINTF_MAX];
|
|
static atomic_flag debug_printf_buffer_lock = ATOMIC_FLAG_INIT;
|
|
|
|
static void debugconsole_printf_buffer_lock (void) {
|
|
while (atomic_flag_test_and_set_explicit (&debug_printf_buffer_lock, memory_order_acquire)) {
|
|
#if defined(__x86_64__)
|
|
__asm__ volatile ("pause" ::: "memory");
|
|
#endif
|
|
}
|
|
}
|
|
|
|
static void debugconsole_printf_buffer_unlock (void) {
|
|
atomic_flag_clear_explicit (&debug_printf_buffer_lock, memory_order_release);
|
|
}
|
|
|
|
int debugconsole_print (const char* string, size_t len) {
|
|
return device_do ("debugconsole", DEBUGCONSOLE_PUTSTR, (void*)string, (void*)&len, NULL, NULL);
|
|
}
|
|
|
|
void debug_printf (const char* fmt, ...) {
|
|
va_list args;
|
|
va_start (args, fmt);
|
|
|
|
debugconsole_printf_buffer_lock ();
|
|
|
|
int len = vsnprintf (debug_printf_buffer, DEBUG_PRINTF_MAX, fmt, args);
|
|
|
|
va_end (args);
|
|
|
|
debugconsole_print (debug_printf_buffer, len);
|
|
|
|
debugconsole_printf_buffer_unlock ();
|
|
}
|