#include <threads.h>
#include <zircon/compiler.h>

#include "libc.h"
#include "stdio_impl.h"

static FILE* ofl_head;
static mtx_t ofl_lock;

FILE** __ofl_lock(void) __TA_ACQUIRE(ofl_lock) {
  mtx_lock(&ofl_lock);
  return &ofl_head;
}

void __ofl_unlock(void) __TA_RELEASE(ofl_lock) { mtx_unlock(&ofl_lock); }