#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();
}