kernel/fiasco/src/kern/libc_backend_lock.cc

   1 #include <libc_backend.h>
   2
   3 #include <spin_lock.h>
   4
   5 static Spin_lock __libc_backend_printf_spinlock;
   6
   7 unsigned long __libc_backend_printf_lock()
   8 {
   9   return __libc_backend_printf_spinlock.test_and_set();
  10 }
  11
  12 void __libc_backend_printf_unlock(unsigned long state)
  13 {
  14   __libc_backend_printf_spinlock.set(state);
  15 }